@string{acsac = "ACSAC"}
@string{acta = "Acta Inf."}
@string{aplas = "Asian Symp.\ on Prog.\ Lang.\ and Systems"}
@string{cacm = "Commun.\ ACM"}
@string{cade = "Conf.\ on Automated Deduction"}
@string{cav = "Computer Aided Verif."}
@string{cc = "Comp.\ Construct."}
@string{cccs = "Conf.\ on Comp.\ and Commun.\ Sec."}
@string{crc = "CRC Press"}
@string{compsac = "Comp.\ Softw.\ and Applications Conf."}
@string{dac = "Design Automation Conf."}
@string{dlt = "Developments in Lang.\ Theory"}
@string{ecoop = "European Conf.\ on Obj.-Oriented Prog."}
@string{entcs = "Electr.\ Notes Theor.\ Comp.\ Sci."}
@string{esop = "European Symp.\ on Programming"}
@string{fmsd = "Formal Methods in System Design"}
@string{fse = "Found.\ of Softw.\ Eng."}
@string{fase = "Formal Approaches in Softw.\ Eng."}
@string{fsttcs = "Found.\ of Software Tech.\ and Theoretical Comp.\ Sci."}
@string{hosc = "Higher-Order and Symbolic Computation"}
@string{iccl = "Int.\ Conf.\ on Computer Languages"}
@string{icis = "Int.\ Conf.\ on Comp.\ and Inf.\ Sci."}
@string{ics = "Int.\ Conf.\ Supercomputing"}
@string{icse = "Int.\ Conf.\ on Softw.\ Eng."}
@string{ipl = "Inf.\ Proc.\ Let."}
@string{issta = "Int.\ Symp.\ on Softw.\ Testing and Analysis"}
@string{jacm = "J.\ ACM"}
@string{jalg = "J.\ Alg."}
@string{jcss = "J.\ Comput.\ Syst.\ Sci."}
@string{jlp = "J.\ Log.\ Program."}
@string{kap = "Kluwer Acad."}
@string{lctes = "LCTES"}
@string{lncs = "Lec.\ Notes in Comp.\ Sci."}
@string{loplas = "Let.\ on Prog.\ Lang.\ and Syst."}
@string{lopstr = "Int.\ Workshop on Logic Based Prog.\ Dev.\ and Transformation"}
@string{nasafms = "Proc.\ of the First NASA Formal Methods Symposium"}
@string{ndss = "Network and Dist.\ Syst.\ Security"}
@string{osdi = "Op.\ Syst.\ Design and Impl."}
@string{parle = "Par.\ Arch.\ and Lang.\ Europe"}
@string{paste = "Prog.\ Analysis for Softw.\ Tools and Eng."}
@string{pepm = "Part.\ Eval.\ and Semantics-Based Prog.\ Manip."}
@string{pldi = "Prog.\ Lang.\ Design and Impl."}
@string{plilp = "Prog.\ Lang.\ Impl.\ and Logic Prog."}
@string{popl = "Princ.\ of Prog.\ Lang."}
@string{ppopp = "PPoPP"}
@string{prentice = "Prentice-Hall"}
@string{sas = "Static Analysis Symp."}
@string{scam = "Workshop on Source Code Analysis and Manipulation"}
@string{scp = "Sci.\ of Comp.\ Prog."}
@string{sigmod = "Conf.\ on Management of Data"}
@string{socc = "Symp.\ on Comp.\ Construct."}
@string{softmc = "Workshop on Software Model Checking"}
@string{spin = "Spin Workshop"}
@string{spv = "Springer-Verlag"}
@string{spe = "Software: Practice and Experience"}
@string{stoc = "STOC"}
@string{sttt = "Softw.\ Tools for Tech.\ Transfer"}
@string{tacas = "Tools and Algs.\ for the Construct.\ and Anal.\ of Syst."}
@string{tacs = "Theor.\ Aspects of Comp.\ Softw."}
@string{toplas = "Trans.\ on Prog.\ Lang.\ and Syst."}
@string{tosem = "Trans.\ on Softw.\ Eng.\ and Method."}
@string{tcs = "Theor.\ Comp.\ Sci."}
@string{tse = "Trans.\ on Softw.\ Eng."}
@string{uss = "USENIX Sec. Symp."}
@string{vldb = "Very Large Data Bases"}
@string{vmcai = "Verif., Model Checking, and Abs.\ Interp."}
@string{vstte = "IFIP Working Conf.\ on Verified Software: Theories, Tools, Experiments"}
@string{wcre = "Working Conf.\ on Rev.\ Eng."}

@article{ferdi:rts,
 author="C. Ferdinand and R. Wilhelm",
 title="{F}ast and {E}fficient {C}ache {B}ehavior {P}rediction
        for {R}eal-{T}ime {S}ystems",
 journal="Real-Time Syst.",
 year="1998",
 note="submitted for publication",
}

@inproceedings{ferdi:asia,
 author="C. Ferdinand",
 title="{A} {F}ast and {E}fficient {C}ache {P}ersistence {A}nalysis",
 booktitle="{A}{S}{I}{A}{N}'97",
 month=dec,
 year="1997",
 note="submitted for publication",
}

@techreport{ferdi:persistence,
  author="C. Ferdinand",
  title="{A} {F}ast and {E}fficient {C}ache {P}ersistence {A}nalysis",
  institution = {Universit\"at des Saarlandes, Sonderforschungsbereich 124},
  type     = {{T}echnical {R}eport 10/97},
  year=1997,
  month=aug
}


@inproceedings{ferdi:lctrts,
 author="C. Ferdinand and F. Martin and R. Wilhelm",
 title="{A}pplying {C}ompiler {T}echniques to {C}ache {B}ehavior {P}rediction",
 booktitle=LCTRTS,
 month=jun,
 year="1997",
 pages="37--46",
}


@article{ferdi:elsevierd,
  author="C. Ferdinand and F. Martin and R. Wilhelm",
  title={{C}ache {B}ehavior {P}rediction by {A}bstract {I}nterpretation},
  journal="Sci. of {C}omp. {P}rog.",
  year=1998,
  publisher = {Elsevier},
  note={Ausgew\"ahlt f\"ur Sonderband SAS'96}
}

@article{ferdi:elsevier,
  author="C. Ferdinand and F. Martin and R. Wilhelm",
  title={{C}ache {B}ehavior {P}rediction by {A}bstract {I}nterpretation},
  journal="Sci. of {C}omp. {P}rog.",
  year=1998,
  publisher = {Elsevier},
  note="Selected for SAS'96 special issue"
}

@inproceedings{ferdi:sas,
  author="M. Alt and C. Ferdinand and F. Martin and R. Wilhelm",
  title={{C}ache {B}ehavior {P}rediction by {A}bstract {I}nterpretation},
  booktitle="SAS'96, Static Analysis Symposium",
  year=1996,
  pages="52--66",
  publisher = {Springer},
  series = "LNCS 1145",
  month=sep,
}

@techreport{ferdi:sfbrep,
  author="C. Ferdinand and F. Martin and R. Wilhelm and M. Alt",
  title={{C}ache {B}ehavior {P}rediction by {A}bstract {I}nterpretation},
  institution = {Universit\"at des Saarlandes, Sonderforschungsbereich 124},
  type     = {{T}echnical {R}eport 05/97},
  year=1997,
  month=may
}


@book{WiMa92,
   author   = {R. Wilhelm and D. Maurer},
   title    = {"Ubersetzerbau -- {T}heorie, {K}onstruktion, {G}enerierung},
   publisher= {Springer-Verlag},
   year     = 1992
}

@InProceedings{kn:PAG,
   author    = {M. Alt and F. Martin},
   title     = "Generation of Efficient Interprocedural Analyzers with {PAG}",
   booktitle = {SAS'95, Static Analysis Symposium},
   year      = 1995,
   series    = "LNCS 983",
   pages     = "33--50",
   publisher = {Springer},
   month     = sep
}

@Book{wima:eng,
   author    = "R. Wilhelm and D. Maurer",
   title     = "Compiler {D}esign",
   publisher = "Addison-Wesley",
   year      = 1995
}

@Inproceedings {kn:SFRW90,
        Author ="S. Sagiv and N. Francez and M. Rodeh and
        R. Wilhelm",
        Editor="P. Deransart and J. Ma{\l}uszynkski",
        Title ="A Logic-Based Approach to Data Flow Analysis Problems",
        Booktitle= "LNCS~456, 2nd Workshop on Programming Language
        Implementation and Logic Programming",
        Year = 1990,
        Publisher = "Springer-Verlag"}

@Article {kn:SFRW98,
          Year= 1998,
          Title ="A Logic-Based Approach to Data Flow Analysis Problems",
        Author ="S. Sagiv and N. Francez and M. Rodeh and
        R. Wilhelm",
        Journal =acta,
        Volume =35,
        Number =6,
        pages="457--504",
        Month=jun}
@BOOK{kn:Sedgewick88,
        AUTHOR = "R. Sedgewick",
        TITLE = "Algorithms",
        EDITION = "Second",
        PUBLISHER = {Addison-Wesley},
        ADDRESS="Reading, Massachusetts",
        YEAR = 1988                                     }
@BOOK{kn:Rama96LNCS,
        AUTHOR = "G. Ramalingam",
        TITLE = "Bounded Incremental Computation",
        PUBLISHER = spv,
        YEAR = 1996
}
@Article{kn:SRH96,
  author = 	 "M. Sagiv and T. Reps and S. Horwitz",
  title = 	 "Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation",
  journal = tcs,
  volume = 167,
  year = "1996",
  pages = "131--170"}
@InProceedings{kn:SRH95,
  author = 	 "M. Sagiv and T. Reps and S. Horwitz",
  title = 	 "Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation",
  editor = 	 "P.D. Mosses and M. Nielsen and M.I. Schwartzbach",
  volume = 	 "915",
  series = 	 lncs,
  pages = 	 "651--665",
  booktitle = fase,
  year = 	 "1995",
  publisher =  spv,
  address = 	 "Aarhus, Denmark",
  month = 	 may
}
@InProceedings{kn:UH94,
  author = 	 "J. Uhl and R.N. Horspool",
  title = 	 "Flow Grammars: {A} Flow Analysis Methodology",
  editor = 	 "P.A. Fritzson",
  volume = 	 "786",
  series = 	 lncs,
  pages =  	 "203--217",
  booktitle = "Proc. of the Fifth Int. Conf. on Compiler Construction",
  year = 	 "1994",
  publisher =  spv,
  address = 	 "Edinburgh, Scotland",
  month=         "april"
}
@InProceedings{kn:MW91,
  author = 	 "U. {M\"oncke} and R. Wilhelm",
  title = 	 "Grammar Flow Analysis",
  editor = 	 "H. Alblas and B. Melichar",
  volume = 	 "545",
  series = 	 lncs,
  pages = 	 "151--186",
  booktitle = "Attribute Grammars, Applications and Systems, (Int. Summer School SAGA)",
  year = 	 "1991",
  publisher =  spv,
  address = 	 "Prague, Czechoslovakia",
  month=         "june"
}
@InProceedings{kn:PlevyakChien93,
  author = 	 "Plevyak,J. and Chien,A.A. and Karamcheti,V.",
  title = 	 "Analysis of Dynamic Structures for Efficient
		  Parallel Execution",
  editor = 	 "Banerjee,U. and Gelernter,D. and Nicolau,A. and Padua,D.",
  volume = 	 "768",
  series = 	 lncs,
  pages = 	 "37--57",
  booktitle = "Languages and Compilers for Parallel Computing",
  year = 	 "1993",
  publisher =  spv,
  address = 	 "Portland, OR",
  month = 	 aug
}
@TECHREPORT{kn:SRW95,
        AUTHOR ="M. Sagiv and T. Reps and R. Wilhelm",
        TITLE = "Solving Shape-Analysis Problems in Languages with Destructive Updating",
        INSTITUTION = "Comp. Sci. Dept., Univ. of Wisconsin",
        ADDRESS = "Madison, WI",
        TYPE = "Tech. Rep.",
        NUMBER = "TR-1276",
        MONTH = "July",
        YEAR = 1995
}
@Unpublished{kn:Aiken96,
        AUTHOR ="A. Aiken",
        TITLE = "Position Statement",
        INSTITUTION = "{EECS Dept., Univ. of Calif.}",
        ADDRESS= "{Berkeley, CA}",
	NOTE = "Prepared for the Programming Languages Working Group
		  of the ACM Workshop on Strategic Directions in
		  Computing Research, (Cambridge, MA, June 14-15,
                  1996)",
        MONTH = "May",
        YEAR = 1996}
@InProceedings{kn:SRW96,
  Author =    "M. Sagiv and T. Reps and R. Wilhelm",
  Title =     "Solving Shape-Analysis Problems in Languages with Destructive Updating",
  Booktitle = popl,
  Pages =     "16--31",
  Month =     jan,
  Year =      1996
}
@Article {kn:SRW98,
        AUTHOR ="M. Sagiv and T. Reps and R. Wilhelm",
        TITLE = "Solving Shape-Analysis Problems in Languages with Destructive Updating",
	Journal = toplas,
	Volume = 20,
	Number = 1,
	Month = jan,
	Year = 1998,
	Pages = "1--50"}
@InProceedings{kn:KS93,
        AUTHOR ="N. Klarlund and M. Schwartzbach",
        TITLE = "Graph Types",
        Booktitle = popl,
       month= jan,
        YEAR = 1993}
@Article {kn:Lindstrom73,
	Author = "G. Lindstrom",
	Title = "Scanning List Structures Without Stacks or Tag Bits",
	Journal = ipl,
	Volume = 2,
	Number = 2,
	Month = jun,
	Year = "1973",
	Pages = "47--51"}
@Article {kn:HRB90,
	Author = "S. Horwitz and T. Reps and D. Binkley",
	Title = "Interprocedural Slicing Using Dependence Graphs",
	Journal = toplas,
	Volume = 12,
	Number = 1,
	Month = jan,
	Year = "1990",
	Pages = "26--60"}
@Article {kn:BH86,
	Author = "J. Barnes and P. Hut",
	Title = "A Hierarchical {O}({N} log {N}) Force-Calculation Algorithm",
	Journal = "Nature",
	Volume = 324,
	Month = "December",
	Year = "1986",
	Pages = "446--449"}
@Article {kn:Twig,
	Author = "A.V. Aho and A M. Ganapathi and A S.W.K. Tjiang",
	Title = "Code generation using tree matching and dynamic programming",
	Journal = toplas,
	Volume = 11,
	Number = 4,
	Month = "October",
	Year = "1989",
	Pages = "491--516"}
@Article {kn:Ratfor,
	Author= "B.W. Kernighan",
	Title = "Ratfor,  A preprocessor for a rational Fortran",
	Journal = spe,
	Volume = 5,
	Number = 4,
	Year = 1975,
	Pages = "395--406"}
@Article {kn:Hoare75,
	Author = "C.A.R. Hoare",
	Title = "Recursive data structures",
	Journal = "Int. J. of Comp. and Inf. Sci.",
	Volume = 4,
	Number =  2,
	Year = 1975,
	Pages = "105--132"}
@Article {kn:Baker77,
	Author = "B. Baker",
	Title = "An Algorithm for Structuring Flowgraphs",
	Journal = jacm,
	Volume = 24,
	Number =  1,
	Month = jan,
	Year = 1977,
	Pages = "98--120"}
@Book	{kn:Fischer,
	Author = "C.N. Fischer and R.J. LeBlanc",
	Title = "Crafting a Compiler",
	Publisher = "Benjamin/Cummings Publishing Company, Inc.",
	Year =1988,
	Address = "Menlo Park, CA"}
@Article{kn:Weg75,
        AUTHOR ="B. Wegbreit",
        TITLE = "Property Extraction in Well-Founded Property Sets",
	Journal = tse,
	Volume = 1,
	Number = 3,
	Pages = "270--285",
        YEAR = 1975}
@Article{kn:KP80,
        AUTHOR ="M. Kaplan and J.D. Ullman",
        TITLE = "A General Scheme for Automatic Inference of Variable Types",
	Journal = jacm,
	Volume = 27,
	Number = 1,
	Pages = "128--145",
        YEAR = 1980}
@Article{kn:Binkley93,
        AUTHOR ="D. Binkley",
        TITLE = "Precise Executable Interprocedural Slices",
	Journal = loplas,
	Volume = 2,
        YEAR = 1993,
        PAGES = "31--45"}
@Article{kn:MetzgerStroud93,
        AUTHOR ="R. Metzger and S. Stroud",
        TITLE = "Interprocedural Constant Propagation: An Empirical Study",
	Journal = loplas,
	Volume = 2,
        YEAR = 1993}
@BOOK{kn:CLR90,
        AUTHOR = "T.H. Cormen and C.E. Leiserson and R.L. Rivest",
        TITLE = "Introduction to Algorithms",
        PUBLISHER = {M.I.T. Press},
        YEAR = 1990                                     }
@BOOK{kn:AHU74,
        AUTHOR = "A.V. Aho and J.E. Hopcroft and J.D. Ullman",
        TITLE = "The Design and Analysis of Computer Algorithms",
        PUBLISHER = {Addison-Wesley},
        YEAR = 1974                                     }
@BOOK{kn:ASU85,
        AUTHOR = "A.V. Aho and R. Sethi and J.D. Ullman",
        TITLE = "Compilers: Principles, Techniques and Tools",
        PUBLISHER = {Addison-Wesley},
        YEAR = 1985
}
@INBOOK{kn:software,
        TITLE = "Program Flow Analysis: {T}heory and Applications",
        PUBLISHER = {Prentice-Hall},
        ADDRESS = "Englewood Cliffs, NJ",
        YEAR = 1981,
        EDITOR = "S.S. Muchnick and N.D. Jones",
        CHAPTER = "III: Applications to Software Engineering",
        PAGES = "235--299"
}
@INCOLLECTION{kn:ken,
        AUTHOR = "K. Kennedy",
        TITLE = "A Survey of Data Flow Analysis Techniques",
        BOOKTITLE = "Program Flow Analysis: {T}heory and Applications",
        PUBLISHER = {Prentice-Hall},
        YEAR = 1981
}
@INCOLLECTION{kn:JM81,
        AUTHOR = "N.D. Jones and S.S. Muchnick",
        TITLE = "Flow Analysis and Optimization of {L}isp-Like Structures",
        BOOKTITLE = "Program Flow Analysis: {T}heory and Applications",
        PUBLISHER = {Prentice-Hall},
        YEAR = 1981
}
@INCOLLECTION{kn:SP81,
        AUTHOR = "M. Sharir and A. Pnueli",
        TITLE = "Two Approaches to Interprocedural Data Flow Analysis",
        BOOKTITLE = "Program Flow Analysis: {T}heory and Applications",
        PUBLISHER = {Prentice-Hall},
        YEAR = 1981
}
@INPROCEEDINGS{kn:JM76,
        AUTHOR = "N.D. Jones and S.S. Muchnick",
        TITLE = "Binding Time  Optimization in Programming Languages",
        BOOKTITLE = popl,
        YEAR = 1976,
        PAGES = "77--94"          }
@INCOLLECTION{kn:wil,
        AUTHOR = "R. Wilhelm",
        TITLE = "Global Flow Analysis and Optimization in {MUG2} the Compiler Generating System",
        BOOKTITLE = "Program Flow Analysis: {T}heory and Applications",
        PUBLISHER = {Prentice-Hall},
        YEAR = 1981
}
@INCOLLECTION{kn:hudak,
        AUTHOR = "P. Hudak",
        TITLE = "A Semantic Model for Reference Counting and its Abstraction",
        BOOKTITLE = "Abstract Interpretation of Declarative Languages",
        PUBLISHER = {John Wiley and Sons},
        YEAR = 1987,
        EDITOR = "S. Abramsky and C. Hankin",
        CHAPTER = 3,
        PAGES = "45--62"                                         }
@BOOK{kn:AB87,
        AUTHOR = "S. Abramsky and C. Hankin",
        TITLE = "Abstract Interpretation of Declarative Languages",
        PUBLISHER = {John Wiley and Sons},
        YEAR = 1987}
@INPROCEEDINGS{kn:Kildall73,
        AUTHOR = "G.A. Kildall",
        TITLE ="A Unified Approach to Global Program Optimization",
        BOOKTITLE = popl,
        YEAR = 1973,
        PAGES = "194--206"          }
@INPROCEEDINGS{kn:CC77,
  Author    = "P. Cousot and R. Cousot",
  Title     = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximation of Fixed Points",
  Booktitle = popl,
  Year      = 1977,
  Pages     = "238--252"
}
@INCOLLECTION{kn:CC78,
  Author    = "P. Cousot and R. Cousot",
  Title     = "Static Determination of Dynamic Properties of Recursive Procedures",
  Booktitle = "Formal Descriptions of Programming Concepts, (IFIP WG 2.2, St. Andrews, Canada, August 1977)",
  Publisher = {North-Holland},
  Year      = 1978,
  Editor    = "E.J. Neuhold",
  Pages     = "237--277"
}
@INPROCEEDINGS{kn:CC79,
  Author    = "P. Cousot and R. Cousot",
  Title     = "Systematic Design of Program Analysis Frameworks",
  Booktitle = popl,
  Year      = 1979,
  Pages     = "269--282"
}
@INCOLLECTION{kn:C81,
  Author    = "P. Cousot",
  Title     = "Semantic Foundations of Program Analysis",
  Booktitle = "Program Flow Analysis: Theory and Applications",
  Publisher = {Prentice-Hall},
  Address   = "Englewood Cliffs, NJ",
  Year      = 1981,
  Editor    = "S.S. Muchnick and N.D. Jones",
  Chapter   = 10,
  Pages     = "303--342"
}
@INPROCEEDINGS{kn:banning,
        AUTHOR = "J.P. Banning",
        TITLE ="An Efficient way to find the Side Effects of
        Procedure Calls and the Aliases of Variables",
        BOOKTITLE = popl,
        YEAR = 1979,
        PAGES = "29--41"          }
@INPROCEEDINGS{kn:weihl,
        AUTHOR = "W.E. Weihl",
        TITLE ="Interprocedural Data Flow Analysis in the
        Presence of Pointers, Procedure Variables, and Label Variables",
        BOOKTITLE = popl,
        YEAR = 1980,
        PAGES = "83--94"}
@Unpublished {kn:LCLnews,
               Title={LCLint news group},
               Author="D. Evans",
               Note=
{``larch-www.lcs.mit.edu:8001/larch/lclint/lclint-interest/''},
               Year=1997}
@Book {kn:Hanson,
      Title="C Interfaces and Implementations",
      Author="D. Hanson",
      Year=1997,
      Publisher="Addison-Wesley"}
         
@INPROCEEDINGS{kn:Myers81,
        AUTHOR = "E.W. Myers",
        TITLE ="A Precise Inter-Procedural Data Flow Algorithm",
        BOOKTITLE = popl,
        YEAR = 1981,
        PAGES = "219--230"          }
@INPROCEEDINGS{kn:MycroftJones86,
        AUTHOR = "N.D. Jones and A. Mycroft",
        TITLE ="Data Flow Analysis of Applicative Programs Using Minimal Function Graphs",
        BOOKTITLE = popl,
        YEAR = 1986,
        PAGES = "296--306"          }
@INPROCEEDINGS{kn:JM82,
        AUTHOR = "N.D. Jones and S.S. Muchnick",
        TITLE = "A Flexible Approach to Interprocedural Data
        Flow Analysis and Programs with Recursive Data Structures",
        BOOKTITLE = popl,
        YEAR = 1982,
        PAGES = "66--74"          }
@INPROCEEDINGS{kn:C85,
        AUTHOR = "K.D. Cooper",
        TITLE ="Analyzing Aliases of Reference Formal Parameters",
        BOOKTITLE = popl,
        YEAR = 1985,
        PAGES = "281--290"          }
@INPROCEEDINGS{kn:Z84,
        AUTHOR = "F.K. Zadeck",
        TITLE ="Incremental Data Flow Analysis in a Structured Program Editor",
        BOOKTITLE = socc,
        YEAR = 1984,
        PAGES = "132--143"       }
@INPROCEEDINGS{kn:WZ85,
        AUTHOR = "M.N. Wegman and F.K. Zadeck",
        TITLE ="Constant Propagation with Conditional Branches",
        BOOKTITLE = popl,
        YEAR = 1985}
@Article {kn:BZ78b,
        Author = "W.A. Babich and M. Jazayeri",
        Title ="The Method of Attributes for Data Flow Analysis: Part II. Demand Analysis",
        journal = acta,
        Month = "October",
        Year = 1978,
        Volume = 10,
        Number = 3,
        Pages = "265--272"       }
@Article {kn:WZ91,
        Author = "M.N. Wegman and F.K. Zadeck",
        Title ="Constant Propagation with Conditional Branches",
        journal = toplas,
        Year = 1991,
        Volume = 13,
        Number = 2,
        Pages = "181--210"       }
@INPROCEEDINGS {kn:GT93,
	Author= "D. Grove and L. Torczon",
	Title = "A Study of Jump Function Implementations",
	BOOKTITLE = pldi,
	Year = 1993,
	Pages = "90--99"}
@INPROCEEDINGS {kn:ABS94,
           Title= "Efficient Detection of All Pointer and Array Access Errors",           Author ="T.M. Austin and S.E. Breach and G.S. Sohi",
           BOOKTITLE = pldi,
           Year =1994,
}
@INPROCEEDINGS {kn:OO84,
        Author    = "K.J. Ottenstein and L.M. Ottenstein",
        Title     =  "The Program Dependence Graph in a Software Development Environment",
        Booktitle = "Softw. Eng. Symp. on Practical Softw. Dev. Environments",
        Year      = 1984,
        Pages     = "177--184"
}
@INPROCEEDINGS {kn:CCKT86,
        Author = "D. Callahan and K.D. Cooper and K. Kennedy and
                L. Torczon",
        Title =  "Interprocedural Constant Propagation",
        BOOKTITLE = socc,
        Year = 1986,
        Pages = "152--161"
}
@INPROCEEDINGS {kn:BC86,
        Author = "M. Burke and R. Cytron",
        Title =  "Interprocedural Dependence Analysis and
        Parallelization",
        BOOKTITLE = socc,
        Year = 1986,
        Pages = "162--175"
}
@INPROCEEDINGS {kn:CFRWZ89,
        Author = "R. Cytron and J. Ferrante and B.K. Rosen and 
	M.N. Wegman and F.K. Zadeck",
        Title =  "An Efficient Method of Computing Static Single
	Assignment Form",
        BOOKTITLE = popl,
        Year = 1989,
        Pages = "25--35"}
@INPROCEEDINGS{kn:coutant,
        AUTHOR = "D. Coutant",
        TITLE ="Retargetable High-Level Alias Analysis",
        BOOKTITLE = popl,
        YEAR = 1986,
        PAGES = "110--118"          }
@INPROCEEDINGS{kn:KM87,
        AUTHOR = "T. Kuo and P. Mishra",
        TITLE ="On Strictness and its Analysis",
        BOOKTITLE = popl,
        YEAR = 1987,
        PAGES = "144--155"          }
@INPROCEEDINGS{kn:DNP87,
        AUTHOR = "A.J. Demers and A. Neirynck and P. Panagaden",
        TITLE ="Computation of Aliases and Support Sets",
        BOOKTITLE = popl,
        YEAR = 1987,
        PAGES = "274--283"          }
@INPROCEEDINGS{kn:CR88,
        AUTHOR = "M.D. Carrol and B.G. Ryder",
        TITLE ="Incremental Data Flow Analysis via Dominator
        and Attributes Updates",
        BOOKTITLE = popl,
        YEAR = 1988,
        PAGES = "274--283"          }
@INPROCEEDINGS{kn:RM88,
        AUTHOR = "C. Ruggieri and T. P. Murtagh",
        TITLE ="Lifetime Analysis of Dynamically Allocated Objects",
        BOOKTITLE = popl,
        YEAR = 1988,
        PAGES = "285--293"          }
@INPROCEEDINGS{kn:C88,
        AUTHOR = "D. Callahan",
        TITLE ="The Program Summary Graph and
                Flow-sensitive Interprocedural Data Flow Analysis",
        BOOKTITLE = pldi,
        YEAR = 1988,
        PAGES = "47--56"          }
@INPROCEEDINGS{kn:CK88,
        AUTHOR = "K.D. Cooper and K. Kennedy",
        TITLE ="Interprocedural Side-Effect Analysis in Linear Time",
        BOOKTITLE = pldi,
        YEAR = 1988,
        PAGES = "57--66"          }
@INPROCEEDINGS{kn:LH88,
        AUTHOR = "J.R. Larus and P.N. Hilfinger",
        TITLE ="Detecting Conflicts between Structure Accesses",
        BOOKTITLE = pldi,
        YEAR = 1988,
        PAGES = "21--34"          }
@INPROCEEDINGS{kn:CWZ90,
        AUTHOR= "D.R. Chase and M. Wegman and F. Zadeck",
        Title = "Analysis of Pointers and Structures",
        BOOKTITLE = pldi,
        YEAR = 1990,
        PAGES = "296--310"}
@PHDTHESIS {kn:Wang94,
        AUTHOR = "E. Y.-B. Wang",
        Title ="Analysis of Recursive Types in an Imperative Language",
        School = "Univ. of Calif.",
        YEAR = 1994,
        address = "Berkeley, CA"}
@PHDTHESIS {kn:Larus,
        AUTHOR = "J.R. Larus",
        Title ="Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors",
        School = "Univ. of Calif.",
        YEAR = 1989,
        address = "Berkeley, CA",
        Month = "May"}
@PHDTHESIS {kn:HeintzeThesis,
        AUTHOR = "N. Heintze",
        Title ="Set-Based Program Analysis",
        School = "School of Comp. Sci., Carnegie Mellon Univ.",
        YEAR = 1992,
        address = "Pittsburgh, PA",
        Month = "October"}
@PHDTHESIS {kn:Hendren,
        AUTHOR = "L. Hendren",
        Title ="Parallelizing Programs with Recursive Data
        Structures",
        School = "Cornell Univ.",
        address = "Ithaca, NY",
        YEAR = 1990,
        Month = "Jan"}
@Article {kn:HN90,
        AUTHOR = "L. Hendren and A. Nicolau",
        Title ="Parallelizing Programs with Recursive Data
        Structures",
        Journal = "IEEE Trans. on Par. and Dist. Syst.",
        Publisher = {IEEE Press},
        Address = "Wash., DC",
        YEAR = 1990,
	Volume = 1,
	Number = 1,
	Pages= "35--47",
        Month = "January"}
@InProceedings {kn:HHN92,
        AUTHOR = "L. Hendren and J. Hummel and A. Nicolau",
        Title ="Abstractions for Recursive Pointer Data Structures:
	{I}mproving the Analysis and the Transformation of Imperative
	Programs",
        Booktitle= PLDI,
	Pages= "249--260",
        YEAR = 1992,
        Month = "June"}
@INPROCEEDINGS{kn:HG92,
        AUTHOR = "L. Hendren and G.R. Gao",
        TITLE ="Designing programming languages for analyzability: A
		  fresh look at pointer data structures",
        BOOKTITLE = "Proc. of the Int. Conf. on Comp. Lang.",
        Publisher = {IEEE Press},
        Address = "Washington, DC",
        YEAR = 1992,
        PAGES = "242--251"        }
@INPROCEEDINGS{kn:guarna,
        AUTHOR = "Guarna, Jr., V.A.",
        TITLE ="A Technique for Analyzing Pointer and Structure
        References in Parallel Restructuring Compilers",
        BOOKTITLE = "Proc. of the Int. Conf. on Parallel Processing",
        YEAR = 1988,
        PAGES = "212--220"        }
@INPROCEEDINGS{kn:CK89,
        AUTHOR = "K.D. Cooper and K. Kennedy",
        TITLE ="Fast Interprocedural Alias Analysis",
        BOOKTITLE = popl,
        YEAR = 1989,
        PAGES = "49--59"        }
@INPROCEEDINGS{kn:HPR89,
        AUTHOR = "S. Horwitz and P. Pfeiffer and T. Reps",
        TITLE ="Dependence Analysis for Pointer Variables",
        BOOKTITLE = pldi,
        YEAR = 1989,
        PAGES = "28--40"          }
@ARTICLE{kn:schwartz,
        AUTHOR = "J.T. Schwartz",
        TITLE ="Optimization of High Level Languages,
        {I}: Value Transmission and its Corollaries",
        JOURNAL = "Computer Languages",
        YEAR = 1975,
        VOLUME = 1,
        NUMBER = 2,
        PAGES = "161--194"        }
@ARTICLE{kn:FOW87,
        AUTHOR = "J. Ferrante and K. Ottenstein and J. Warren",
        TITLE ="The Program Dependence Graph and its use in
        Optimization",
        JOURNAL = toplas,
        YEAR = 1987,
        VOLUME = 3,
        NUMBER = 9,
        PAGES = "319--349"        }
@ARTICLE{kn:Debray,
        AUTHOR = "S.K. Debray",
        TITLE ="Static Inference of Modes and Data Dependencies
	in Logic Programs",
        JOURNAL = toplas,
        YEAR = 1989,
        VOLUME = 11,
        NUMBER = 3,
        PAGES = "419--450"        }
@ARTICLE{kn:GW76,
        AUTHOR = "S.L. Graham and M. Wegman",
        TITLE ="A Fast and Usually Linear Algorithm for
                Data Flow Analysis",
        JOURNAL = jacm,
        YEAR = 1976,
        VOLUME = 23,
        Number = 1,
        PAGES = "172--202"        }
@ARTICLE{kn:Ros77,
        AUTHOR = "B.K. Rosen",
        TITLE ="High-Level Data Flow Analysis",
        JOURNAL = cacm,
        YEAR = 1977,
        VOLUME = 20,
        PAGES = "712--724"        }
@ARTICLE{kn:Ros80,
        AUTHOR = "B.K. Rosen",
        TITLE ="Monoids for Rapid Data Flow Analysis",
        JOURNAL = sicomp,
        YEAR = 1980,
        VOLUME = 9,
        NUMBER = 1,
        PAGES = "159--196"        }
@ARTICLE{kn:tar1,
        AUTHOR = "R.E. Tarjan",
        TITLE ="A Unified Approach to Path Problems",
        JOURNAL = jacm,
        YEAR = 1981,
        VOLUME = 28,
        NUMBER = 3,
        PAGES = "577--593"         }
@ARTICLE{kn:tar2,
        AUTHOR = "R.E. Tarjan",
        TITLE ="Fast Algorithms for Solving Path Problems",
        JOURNAL = jacm,
        YEAR = 1981,
        VOLUME = 28,
        NUMBER = 3,
        PAGES = "594--614"         }
@ARTICLE{kn:KU76,
        AUTHOR = "J.B. Kam and J.D. Ullman",
        TITLE = "Global Data Flow Analysis and Iterative Algorithms",
        JOURNAL = jacm,
        YEAR = 1976,
        VOLUME = 23,
        NUMBER = 1,
        PAGES = "158--171"                              }
@ARTICLE{kn:KU77,
        AUTHOR = "J.B. Kam and J.D. Ullman",
        TITLE = "Monotone Data Flow Analysis Frameworks",
        JOURNAL = acta,
        YEAR = 1977,
        VOLUME = 7,
        NUMBER = 3,
        PAGES = "305--318"                              }
@ARTICLE{kn:K76,
        AUTHOR = "M. Karr",
        TITLE = "Affine Relationship Among Variables of a Program",
        JOURNAL = acta,
        YEAR = 1976,
        VOLUME = 6,
        PAGES = "133--151"                              }
@ARTICLE{kn:weg,
        AUTHOR = "B. Wegbreit",
        TITLE = "Property Extraction in Well-Founded Property Sets",
        JOURNAL = tse,
        Publisher = {IEEE Press},
        Address = "Washington, DC",
        YEAR = 1975,
        VOLUME = 1,
        NUMBER = 3,
        PAGES = "270--285"                              }
@TECHREPORT{kn:ES86,
        AUTHOR ="O. Edelstein and S. Sagiv",
        TITLE = "Machine Independent Optimizations via Attribute Grammars",
        INSTITUTION = "IBM Israel Scientific Center",
        TYPE = "Tech. Rep.",
        NUMBER = "TR88.187",
        YEAR = 1986                                     }
@Article {kn:RP86,
        Author = "B.G. Ryder and M.C. Paul",
        Title = "Elimination Algorithms for Data Flow Analysis",
        journal = acmcs,
        Year = 1986,
        Volume = 18,
        Number = 3,
        Pages = "277--316"       }
@PHDTHESIS {kn:neirynck,
        Author = "A. Neirynck",
        Title = "Static Analysis of Aliases and Side Effects in
                Higher-Order Languages",
        School = "Cornell Univ.",
        Year = 1988,
        address = "Ithaca, N.Y.",
        Month = "February"}
@TECHREPORT{kn:nielson,
        Author ="F. Nielson",
        Title ="Semantic Foundations of Data Flow Analysis",
        Institution = "Aarhus Univ.",
        Year = 1981,
        Type= "Tech. Rep.",
        Number ="DAIMI PB 131",
        Address ="Aarhus, Denmark",
        Month = "February"}
@Unpublished {kn:master,
        Author ="M. Rodeh and S. Sagiv",
        Title = "Global Data Flow Analysis via Attribute Grammars",
        Year = 1988,
        Note = "Unpublished manuscript"}
@TECHREPORT {kn:aliases,
        Author ="M. Rodeh and S. Sagiv",
        Title = "Analyzing Interprocedural Aliases through Pointer
        Equalities",
        Year = 1990,
	Number = "88.298",
	Month = "December",
	Institution = "IBM Israel Scientific Center"}
@Unpublished {kn:automata,
        Author ="M. Rodeh and S. Sagiv",
        Title = "Simultaneous Tracking of Universal and Existential 
        Pointer Equalities",
        Year = 1991,
        Note = "Submitted to SIGPLAN'91"}
@PHDTHESIS {kn:Thesis,
        Author = "S. Sagiv",
        Title ="High Level Formalisms for Program Flow Analysis
	Problems and their use in Compiler Writing",
        School = "Technion, Israel",
	Month = "Jan",
        YEAR = 1991}
@PHDTHESIS {kn:Tennenbaum,
        Author = "A.M. Tennenbaum",
        Title ="Type Determination in Very High Level Languages",
        School = "Courant Institute of Mathematical Sciences, New
	York Univ.",
        YEAR = 1974}
@INPROCEEDINGS{kn:DM82,
        AUTHOR = "L. Demas and R. Milner",
        TITLE = "Principle Type Schemes for Functional Programs",
        BOOKTITLE = popl,
        YEAR = 1982,
        PAGES = "207--212"        }
@ARTICLE{kn:Ken72,
        AUTHOR = "K. Kennedy",
        TITLE ="Safety of Code Motion",
        JOURNAL = "Intern. J. Computer Math.",
        YEAR = 1972,
        VOLUME = 3,
        PAGES = "117--130"        }
@INPROCEEDINGS{kn:LR91,
        AUTHOR = "W. Landi and B.G. Ryder",
	TITLE= "Pointer Induced Aliasing: A Problem Classification",
        BOOKTITLE = popl,
        MONTH = jan,
        YEAR = 1991,
        PAGES = "93--103"}
@Article{kn:Landi92a,
        AUTHOR = "W. Landi",
        TITLE = "Undecidability of Static Analysis",
	Journal = loplas,
	Volume = 1,
        NUMBER = 4,
        PAGES = "323--337",
        YEAR = 1992}
@PHDTHESIS{kn:Landi91,
        AUTHOR = "W. Landi",
        TITLE = "Interprocedural Aliasing in the Presence of Pointers",
	School = "Dept. of Comp. Sci., Rutgers Univ.",
        YEAR = 1991}
@Article{kn:Warren92,
        Author = "D.S. Warren",
        Title = "Memoing for Logic Programs",
	Journal = "Communications of the ACM",
	Volume = 35,
        Number = 3,
        Month = "March",
        Year = 1992,
	Pages = "93--111"}
@INPROCEEDINGS {kn:Coral93,
	Author= "R. Ramakrishnan and P. Seshadri and D. Srivastava and S. Sudarshan",
	Title = "Implementation of the {CORAL} Deductive Database System",
	BOOKTITLE = sigmod,
	Year = 1993,
	Pages = "167--176"}
@Article{kn:Rama,
        AUTHOR = "G. Ramalingam",
        TITLE = "The Undecidability of Aliasing",
	Journal = toplas,
	Year = 1994,
	Volume = 16,
	Number = 5,
	Pages = "1467-1471"}
@Article{kn:RamaReps96,
        AUTHOR = "G. Ramalingam and T. Reps",
        TITLE = "An Incremental Algorithm for a Generalization of the Shortest-Path Problem",
	Journal = jalg,
	Year = 1996,
	Volume = 21,
	Pages = "267-305"}
@InProceedings {kn:Rama96,
        AUTHOR = "G. Ramalingam",
        Title ="Data Flow Frequency Analysis",
        Booktitle= PLDI,
        YEAR = 1996,
        Month = "May"}
@INPROCEEDINGS {kn:EGH94,
	AUTHOR  = "M. Emami and R. Ghiya and L. Hendren",
	TITLE  = "Context-sensitive Interprocedural Points-to Analysis in the Presence
       of Function Pointers",
        YEAR = 1994,
        	BOOKTITLE = pldi}
@INPROCEEDINGS {kn:GH98,
	AUTHOR  = "R. Ghiya and L. Hendren",
	TITLE  = "Putting Pointer Analysis to Work",
        YEAR = 1998,
        	BOOKTITLE = popl}
@INPROCEEDINGS {kn:De92,
		AUTHOR = "A. Deutsch",
		TITLE = "A Storeless Model for Aliasing and its Abstractions
		using Finite Representations of Right-Regular
		Equivalence Relations",
        	BOOKTITLE = "IEEE International Conference on Computer
                  Languages",
        Publisher = {IEEE Press},
        Address = "Washington, DC",
        YEAR = 1992,
        PAGES = "2--13"}
@INPROCEEDINGS{kn:AL95,
        AUTHOR = "R. Altucher and W. Landi",
	TITLE= "An Extended Form of Must Alias Analysis for Dynamic Allocation",
        BOOKTITLE = popl,
        YEAR = 1995,
        PAGES = "74--84"}
@PHDTHESIS {kn:DePhd,
		AUTHOR = "A. Deutsch",
		TITLE = "Operational Models of Programming Languages and 
		Representations of Relations on Regular Languages
		with Application to the Static Determination of
		Dynamic Aliasing Properties of Data",
        	School = "LIX, The Comp. Sci. Lab of {\'E}cole Polytechnique",
        YEAR = 1992}
@inproceedings{kn:BancilhonMaierSagivUllman86
 ,author = "F. Bancilhon and D. Maier and Y. Sagiv and J. Ullman"
 ,title = "Magic Sets and Other Strange Ways to Implement Logic Programs"
 ,booktitle = "Proc. of the Fifth ACM Symposium on Principles of Database Systems"
 ,year = "1986"
}
@inproceedings{kn:BeeriRamakrishnan87
 ,author = "C. Beeri and R. Ramakrishnan"
 ,title = "On the Power of Magic"
 ,booktitle = "Proc. of the Sixth ACM Symposium on Principles of Database Systems"
 ,address = "San Diego, CA"
 ,pages = "269--293"
 ,month = "March"
 ,year = "1987"
}
@inproceedings{kn:RepsCC94,
    author = "T. Reps",
    title = "Solving Demand Versions of Interprocedural Analysis Problems",
    booktitle = cc,
    editor = "P. Fritzson",
    address = "Edinburgh, Scotland",
    month = "April",
    year = "1994",
    series = lncs,
    volume = "786",
    publisher = spv,
    pages = "389--403",
}
@article{kn:RohmerLescoeurKersit86
 ,author = "R. Rohmer and R. Lescoeur and J.-M. Kersit"
 ,title = "The {A}lexander Method, a Technique for the Processing of Recursive Axioms in Deductive Databases"
 ,journal = "New Generation Computing"
 ,volume = "4"
 ,number = "3"
 ,year = "1986"
 ,pages = "273--285"
}

@book{kn:UllmanBook89
 ,author = "J. D. Ullman"
 ,title = "Principles of Database and Knowledge-Base Systems, Volume II: The New Technologies"
 ,publisher = "Comp. Sci. Press"
 ,year = "1989"
 ,address = "Rockville, MD"
}
@book{kn:KnuthVolI73
 ,author = "D. E. Knuth"
 ,title = "The Art of Computer Programming, Volume I: Fundamental
		  Algorithms, 2nd. Ed."
 ,publisher = "Addison-Wesley"
 ,year = "1973"
 ,address = "Reading, MA"
}
@Article{kn:Knuth77,
        AUTHOR = "D.E. Knuth",
        TITLE = "A Generalization of {D}ijkstra's Algorithm",
	Journal = ipl,
	Year = 1977,
	Volume = 6,
        Number = 1,
	Pages = "1-5"}
@INPROCEEDINGS{kn:De94,
	AUTHOR = "A. Deutsch",
	TITLE = "Interprocedural May-Alias Analysis for	Pointers: Beyond k-limiting",
       	BOOKTITLE = pldi,
        YEAR = 1994,
        PAGES = "230--241"}
@INPROCEEDINGS{kn:RHS95,
        Author ="T. Reps and S. Horwitz and M. Sagiv",
        Title = "Precise Interprocedural Dataflow Analysis via Graph Reachability",
        BOOKTITLE = popl,
        Year = 1995,
        Pages = "49--61"
}
@INPROCEEDINGS{kn:HRS95,
        Author ="S. Horwitz and T. Reps and M. Sagiv",
        Title = "Demand Interprocedural Dataflow Analysis",
 	BOOKTITLE = fse,
        Pages= "104--115",
        Month= oct,
        Year = 1995
}
@TECHREPORT{kn:RSH94,
        AUTHOR ="T. Reps and M. Sagiv and S. Horwitz",
        TITLE = "Interprocedural Dataflow Analysis via Graph Reachability",
        INSTITUTION = "Datalogisk Institut, Univ. of Copenhagen",
        TYPE = "Tech. Rep.",
        NUMBER = "TR 94-14",
        YEAR = 1994,
        Note ={Available at ``www.cs.wisc.edu/wpis/papers/diku-tr94-14.ps''}}

@INPROCEEDINGS{kn:KS92,
        AUTHOR = "J. Knoop and B. Steffen",
        TITLE ="The Interprocedural Coincidence Theorem",
        BOOKTITLE = cc,
        YEAR = 1992,
        PAGES = "125--140"          }
@INPROCEEDINGS{kn:Reps94CC,
        AUTHOR = "T. Reps",
        TITLE ="Solving Demand Versions of Interprocedural Analysis Problems",
        BOOKTITLE = cc,
        YEAR = 1994,
        PAGES = "389--403"          }

@Article {kn:SK91,
        AUTHOR ="B. Steffen and J. Knoop",
	Title = "Finite constants: Characterizations of a new decidable set of constants",
	Journal = tcs,
	Volume = 80,
	Number = 2,
	Year = "1991",
	Pages = "303--318"}
@TECHREPORT{kn:SK89,
        AUTHOR ="B. Steffen and J. Knoop",
        TITLE = "Finite Constants: Characterizations of a New Decidable Set of Constants",
        INSTITUTION = "Dept. of Comp. Sci., Univ. of Edinburgh, Scotland",
        TYPE = "Tech. Rep.",
        NUMBER = "ECS-LFCS-89-79",
        YEAR = 1989                                     }
@INPROCEEDINGS{kn:DGS95,
        Author ="E. Duesterwald and R. Gupta and M.L. Soffa",
        Title = "Demand-Driven Computation of Interprocedural Data Flow",
        BOOKTITLE = popl,
        Year = 1995,
        Pages = "37--48",}
@INCOLLECTION{kn:Reps94ALD,
        AUTHOR = "T. Reps",
        TITLE = "Demand Interprocedural Program Analysis Using Logic Databases",
        BOOKTITLE = "Applications of Logic Databases",
        PUBLISHER = {Kluwer Academic Publishers},
        YEAR = 1994,
        EDITOR = "R. Ramakrishnan"                         }
@MISC{kn:SPEC92,
        KEY = "SPECINT92",
        TITLE = "{SPEC} {C}omponent {CPU} {I}nteger {R}elease 2/1992 ({C}INT92)",
        HOWPUBLISHED = {Standard Performance Evaluation Corporation
		  (SPEC), Fairfax, VA},
        YEAR = 1992                                        }
@Inproceedings {kn:SH97,
	Author = "M. Shapiro and S. Horwitz",
	Title = "Fast and accurate flow-insensitive points-to analysis",
	Booktitle = POPL,
	Year = 1997,
	Pages = "1--14"}
@Inproceedings {kn:Steen96,
	Author = "B. Steensgaard",
	Title = "Points-to analysis in almost-linear time",
	Booktitle = POPL,
	Year = 1996,
	Pages = "32--41"}
@Inproceedings {kn:KKLPW81,
	Author = "D.J. Kuck and R.H. Kuhn and B. Leasure and D.A. Padua and M. Wolfe",
	Title = "Dependence graphs and compiler optimizations",
	Booktitle = POPL,
	Year = 1981,
	Pages = "207-218"}
@Article {kn:St92,
	Author = "J. Stransky",
	Title = "A Lattice for Abstract Interpretation of Dynamic
	({L}isp-like) Structures",
	Journal = "Inf. and Comp.",
	Volume = 101,
	Number = 1,
	Month = "Nov.",
	Year = "1992",
	Pages = "70--102"}
@Inproceedings{kn:AW93,
    Author  = "U. Assmann and M. Weinhardt",
    Title   = "Interprocedural Heap Analysis For Parallelizing Imperative
        Programs",
    BookTitle   = {Programming Models For Massively Parallel Computers},
    Year    = {1993},
    Editor  = {Giloi, W. K. and J\"ahnichen, S. and Shriver, B. D.},
    Pages   = {74--82},
    Publisher = {IEEE Press},
        Address = "Washington, DC",
    Month   = sep}
@Unpublished {kn:DS95,
		Author ="A. Deutsch and M. Sagiv",
		Title = "Simultaneous Tracking of May and Must Pointer Aliases in  the presence of Recursive Data Structures",
        Year = 1995,
        Note = "In preparation"}
@InProceedings {kn:Wa91,
	Author = "D.W. Wall",
	Title = "Limits of Instruction Level Parallelism",
	Booktitle = "ASPLOS-IV",
	Year=1991,
	Pages= "176--188"
}
@InProceedings{Andersen:93:BindingTimeAnalysis,
  author =       "L. O. Andersen",
  title =        "Binding-Time Analysis and the Taming of {C} Pointers",
  booktitle =    pepm,
  year =         1993,
  pages =        "47--58",
}

@PhdThesis{Andersen:94:PhD,
  author =       "L. O. Andersen",
  title =        "Program Analysis and Specialization for the {C} Programming Language",
  school =       "DIKU, Univ. of Copenhagen",
  year =         1994,
  month =        may
}

@Article {kn:Weiser84,
	author = "M. Weiser",
	title ="Program Slicing",
	Journal = tse,
        Publisher = {IEEE Press},
        Address = "Washington, DC",
	volume= "SE-10",
	number= "4",
	Year = "1984",
	Month = jul,
	Pages = "352--357"
}

@InProceedings{ICSE:Weiser81,
  Author    = "M. Weiser",
  Title     = "Program Slicing",
  Booktitle = icse,
  Publisher = "IEEE Comp. Soc.",
  Address   = "Wash., DC",
  Year      = "1981",
  Pages     = "439--449"
}

@InProceedings {kn:GMW81,
	author= "R. Giegerich and U. Moncke and R. Wilhelm",
	title= "Invariance of approximative semantics with respect to program transformation",
	booktitle="GI 81 - 11th GI Annual Conference, Informatik-Fachberichte 50",
	publisher= "Springer-Verlag",
	address = "New York, NY",
	Year = "1981",
	Pages = "1--10"}
@InProceedings {kn:BRS92,
  	author="D. Bernstein and M. Rodeh and M. Sagiv",
   	title = "Proving Safety of Speculative Instructions at Compile Time",
	booktitle = esop,
        Volume = "582",
        Series = lncs,
        Publisher = spv,
	Year = 1992
}
@InProceedings {kn:Reynolds68,
	author= "J.C. Reynolds",
	title= "Automatic computation of data set definitions",
	booktitle="Inf. Proc. 68: Proc. of the IFIP Congress",
	publisher= "North-Holland",
	address = "New York, NY",
	Year = "1968",
	Pages = "456--461"}
@InProceedings {kn:Mogensen88,
	author = "T. Mogensen",
	title = "Partially static structures in a self-applicable partial evaluator",
	booktitle ="Partial Evaluation and Mixed Computation: Proc. of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation
	{\em Gammel Avernaes, Denmark, October 18-24, 1987\/}",
	Editors = "D. Bj\o\rner, A.P. Ershov, and N.D. Jones",
	Publisher = "North-Holland",
	address = "New York, NY",
	Year = "1988",
	Pages = "325--347"}
@InProceedings {kn:Mogensen89,
	author = "T. Mogensen",
	title = "Separating binding times in language specifications",
	booktitle ="Fourth International Conference on Functional Programming and Computer Architecture",
	Month = sep,
	Year = 1989,
	Pages = "12--25",
}
@InProceedings {kn:RepsPepm95,
	author = "T. Reps",
	title = "Shape Analysis as a Generalized Path Problem",
	booktitle = pepm,
	Pages = "1--11",
	Year= 1995,
	Month = jun}
@InProceedings {kn:De95,
	author = "A. Deutsch",
	title = "Semantic Models and Abstract Interpretation for Inductive Data Structures and Pointers",
	booktitle = pepm,
	Pages = "226--228",
	Year= 1995,
	Month = jun}
@INPROCEEDINGS{kn:CBC93,
        AUTHOR = "J.--D. Choi and M. Burke and P. Carini",
        TITLE ="Efficient Flow-Sensitive Interprocedural Computation 
	of Pointer-Induced Aliases and Side-Effects",
        BOOKTITLE = popl,
        YEAR = 1993,
        PAGES = "232--245"          }
@INPROCEEDINGS{kn:CH95,
        AUTHOR = "P. Carini and M. Hind",
        TITLE ="Flow-Sensitive Interprocedural Constant Propagation",
        BOOKTITLE = pldi,
        YEAR = 1995,
        PAGES = "23--31"          }
@TECHREPORT{kn:HRS95a,
	Author = "S. Horwitz and T. Reps and M. Sagiv",
	Title = "Demand interprocedural dataflow analysis",
        Number = "TR-1283", 
	Institution ="Comp. Sci. Dept., Univ. of Wisconsin",
	Type= "report",
	Note ={Available at ``www.cs.wisc.edu/wpis/papers/tr1283r.ps''},
	Month= aug,
        YEAR = 1995}
@TECHREPORT{kn:SRH95a,
	Author = "M. Sagiv and T. Reps and S. Horwitz",
        Number = "TR-1284", 
	Title = "Precise interprocedural dataflow analysis with applications to constant propagation",
	Institution ="Comp. Sci. Dept., Univ. of Wisconsin",
	Type= "report",
	Month= aug,
        YEAR = 1995
}
@InProceedings{kn:RHSR94,
        Author ="T. Reps and S. Horwitz and M. Sagiv and G. Rosay",
        Title = "Speeding Up Slicing",
 	BOOKTITLE = fse,
        Month= dec,
        Pages= "11--20",
        Year = 1994
}
@InProceedings{kn:RT96,
  author =    "T. Reps and T. Turnidge",
  title =     "Program Specialization Via Program Slicing",
  booktitle = "Proc. of the Dagstuhl Seminar on Partial Evaluation",
  year =      "1996",
  pages =     "409--429"
}
@InProceedings{kn:GH96,
        AUTHOR ="R. Ghiya and L.J. Hendren",
        TITLE= "Is it a Tree, a DAG, or a Cyclic Graph?",
       Booktitle = popl,
       month= jan,
        YEAR = 1996}
@InProceeding{kn:Colby95,
Author= "Christopher Colby",
Title ="Determining Storage Properties of Sequential and Concurrent Programs with
Assignment and Structured Data",
Booktitle= "the International Static Analysis Symposium",
Year = 1995} 
@ARTICLE{kn:MH96,
        AUTHOR = "A. Matsumoto and D.S. Han",
        TITLE = "Alias Analysis of Pointers in Pascal and Fortran 90:
        Dependence Analysis between pointer references",
        JOURNAL = acta,
        YEAR = 1996,
        VOLUME = 33,
        PAGES = "99--130"                              }
@InProceedings {kn:FL97,
        Title = "Shape Types",
        Author ="P. Fradet and D. Le Metayer",
        Booktitle=popl,
        Year = 1997}
@InProceedings {kn:LH96,
                Title = "Extended SSA Numbering: Introducing SSA
                  Properties to Languages with multi-level pointers",
                Author ="C. Lapkovski and L. Hendren",
Booktitle= "Proceeding of CASCggON'96, Toronto, CANADA",
Year = 1996}


@Unpublished {kn:JJKS96,
    Title ="Automatic Verification of Pointer Programs using Monadic Second-order Logic",
       Author = "J.L. Jensen and M.E. J{\o}rgensen and N.Klarlund and
M.I. Schwartzbach",
Year = 1996}

@InProceedings {kn:JJKS97,
    Title ="Automatic Verification of Pointer Programs using Monadic Second-order Logic",
    Author = "J.L. Jensen and M.E. J{\o}rgensen and N.Klarlund and M.I. Schwartzbach",
    Booktitle=pldi,
    Year = 1997,
    Pages = "226--236"
}

@article{kn:LW94,
         Title= "Cache Profiling and the SPEC Benchmarks: A Case Study",
         Author="Alvin R. Lebeck and David A. Wood",
         pages = "15--26", 
         Journal= "IEEE COMPUTER",
         Month= "October",
         Year= 1994} 


@PHDTHESIS{kn:Mowry,
       Title= "Tolerating Latency Through Software-Controlled Data Prefetching",
       Author ="Todd C. Mowry",
       School="Stanford Univ., Computer Systems Laboratory",
       Month= mar,
       Year = 1994,
       NOTE = {Available at ``www.eecg.toronto.edu/$\sim$~tcm''}}

@InProceedings{kn:LM96,
               Title="Compiler-Based Prefetching for Recursive Data Structures",
               Author= "C.-K. Luk and T.C. Mowry",
               Booktitle="Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems",
               pages= "222--233", 
               month = oct,
               Year =1996}
       NOTE = {Available at ``www.eecg.toronto.edu/$\sim$~tcm''}}

@Unpublished{kn:SRW97,
             Author= "M. Sagiv and T. Reps and R. Wilhelm",
             Title= "Parametric shape analysis in languages with
       destructive updating",
       Month=jan,
       Year=1997,
       Note= "Submitted for conference publication. "}

@InProceedings {kn:BCFM95,
 Title= "Compiler Techniques for Data Prefetching on the PowerPc
                  Processor",
  Year=1995,
  Author = "D. Bernstein and D. Cohen and A. Freund and D. Maydan",
  BookTitle="International Conference of Parallel Architectures and
                  Compilation Techniques"}

@InProceedings {kn:CKP91,
         Title= "Software Prefetching",
         Author= "D. Callahan and  K. Kennedy and A. Porterfield",
         Year =1991,
         Booktitle = "ASPLOS"}

@InProceedings {kn:LRW91,
     Title= "The Cache Performance and Optimizations of Blocked
                  Algorithms",
     Author = "M. Lam and E. Rothberg and M. Wolf",
     Year= 1991,
     Booktitle = "ASPLOS"} 

@InProceedings {kn:TGJ93,
              Title= "To Copy or Not to Copy: A Compile Time Technique
                  for Assessing Data Copying Should be Used to
                  Eliminate Cache Conflicts",
              Author = "O. Temam and E. Granston and W. Jalby",
              Year =1993,
              Booktitle = "Supercomputing"}

@InProceedings {kn:CM95,
               Title="Tile Size Selection Using Cache Organization and
                  Data Layout",
               Author ="S. Coleman and K. McKinley",
               Year =1995,
               BookTitle = pldi}

@InProceedings {kn:CMT94,
               Title = "Compiler Organization for Improving Data
                  Locality",
                Author ="S. Carr and K. McKinley and C. Tseng",
                Year =1994,
                Booktitle = "ASPLOS"}

@MSCTHESIS {kn:E93,
           Title = "Improving Data Locality for Caches",
           Author ="K. Esseghir",
           Year =1993}

@Article {kn:LLCP94,
         Title ="Reducing Cache Conflicts in Data Cache Prefetching",
         Author = "J. Lee, M. Lee, S. Choi and M. Park",
         Year = 1994,
         Journal = "Computer Architecture News" }

@Article {kn:WMC96,
          Title ="Combining Loop Transformations Considering Caches
                  and Scheduling",
          Author ="M. Wolf and D. Maydan and D. Chen",
          Year = 1996,
          Journal = "ASPLOS"}

@InProceedings {kn:LCKR95,
                Title = "Data Prefetching",
                Author = "M. Lipasti and W. Schmidt and S. Kunkel and
                  R. Roediger",
                Year =1995,
                Booktitle ="MICRO-28"}

@InProceedings {kn:PL96,
                Title = "Hot Cold Optimization of Large {W}indows/{NT} Applications",
                Author = "R. Cohn and  P.G. Lowney",
                Year =1996,
                Booktitle ="MICRO-29"}

@InProceedings {kn:WL91,
                Title = "A Data Locality Optimizing Algorithm",
                Author = "M. Wolf  and M. Lam",
                Year = 1991,
                Booktitle = pldi}

@Article {kn:CFKL95,
         Title= "A Study of Integrated Prefetching and Caching
                  Strategies",
         Author = "P.Cao and E. Felten and A. Karlin and K. Li",
         Year = 1995,
         Journal = "ACM SIGMETRICS"}

@InProceedings {kn:BCM94,
              Title ="Dynamic Memory Disambiguation for Array
                  References",
              YEAR=1994,
              Author ="D. Bernstein and D. Cohen and D. Maydan",
              Booktitle= "Micro"}

@Article {kn:S82,
          Title ="Cache Memories",
          Author ="A. Smith",
          Year = "1982",
          Journal = "Computing Surveys",
          Volume=14,
          Number  = 3}

@Article {kn:CB82,
          Title="Reducing Memory Latency via Non-Blocking and
                  Prefetching Caches",
          Author ="T. Chen and J. Baer",
          Year = 1992,
          Journal = cacm}

@UnPublished {kn:YP96,
    Title = "Tango: a Hardware-based Data Prefetching Techniques for
                  Superscalar Processors",
     Year=1996,
     Author ="A. Yoaz and S. Pinter",
     Note="Unpublished manuscript"}

@InProceedings{kn:TFMP95,
 Title ="A Modified Approach to Data Cache Management",
 Author = "G. Tyson and M. Farrens and J. Matthews and A. Pleszkun",
 Year = 1995,
 Booktitle = "Micro"}

@InProceedings {kn:MMS96,
         Title ="Informing Memory Operations: Providing Memory
                  Performance Feedback in Modern Processors",
         Author ="Mark H and M. Martonosi and T.Mowry and M. Smith",
         Year = 1996,
         Booktitle = "International Symposium on Computer Architecture"}

@InProceedings {kn:GZH93,
    Title = "Improving the Cache Locality of Memory Allocation",
    Author = "Dirk Grunwald and Benjamin Zorn, R. Henderson",
    Year = 1993,
    Booktitle =pldi,
    Note = {Available at ``ftp://ftp.cs.colorado.edu/pub/techreports/grunwald/PLDI-93-locality.ps.Z''}}

@Article {kn:GZ93,
    Title = "CustoMalloc: Efficient Synthesized Memory Allocators",
    Author ="Dirk Grunwald and Benjamin Zorn",
    Year = 1993,
    Volume =23,
    Number = 8,
    Pages = "851--869"}


@Article {kn:ZG92,
         Title = "Empirical Measurements of Six Allocation-intensive
                  C Programs",
         Author = "Benjamin Zorn, Dirk Grunwald",
         Year = 1992,
         Note = {Available at ``ftp://ftp.cs.colorado.edu/pub/techreports/zorn/CU-CS-604-92.ps.Z''},
         Journal = "SIGPLAN notices",
         Volume=27,
         Number = 12,
         Pages = "71--80"
}

@INPROCEEDINGS{kn:HR92,
      Author="S. Horwitz and T. Reps",
      Title= "The Use of Program Dependence Graphs in Software Engineering",
      Booktitle = icse,
      Month = may,
      Year=1992,
      Pages= "392--411"
}

@book{kn:CBOOK,
 author = "A. Kelly and I. Pohl",
 title = "A Book on C",
 publisher = "The Benjamin Cummings Publishing Company",
 year = "1995",
 Edition ="Third"
}
@Article {kn:Olden,
         Title= "Supporting Dynamic Data Structures on Distributed
                  Memory Machines",
         Author = "Anne Rogers and Martin C. Carlisle and John Reppy and Laurie Hendren",
       Journal = toplas,
       Volume = 17, 
       Number = 2,
       Month= "March",
       Year="1995",
       Pages= "233-263",
       Note ={Article and benchmark suit available at
              ``www.cs.princeton.edu/$\sim$~mcc/olden.html''}} 
@PhdThesis{kn:Gallagher90,
  Author= "K.B. Gallagher",
  Title= "Using Program Slicing in Software Maintenance",
  Note ="Tech. Rep. CS-90-05",
  School ="Comp. Sci. Dept., Univ. of Maryland,
                  Baltimore Campus",
  Year = 1990,
  Address=  "Baltimore, MD",
  Month = jan}
@Article {kn:GL91,
     Author= "K.B. Gallagher and J.R. Lyle",
     Title= "Using Program Slicing in Software Maintenance",
     Journal = tse,
     Volume ="SE-17",
     Number= 8,
     Pages= "751--761",
     Month= aug,
     Year = 1991}
@InProceedings {kn:LW86,
  Author= " J. Lyle and M. Weiser",
  Title= "Experiments on Slicing-Based Debugging Tools",
  Booktitle = "Proc. First Conf. on Empirical Studies of Programming",
  Month = jun,
  Year = 1986
}
@InProceedings {kn:Bin92,
  Author= "D. Binkley",
  Title= "Using Semantic Differencing to Reduce the Cost of Regression Testing",
  Booktitle ="Proc. Conf. on Softw. Maint.",
  Year = "1992",
  Pages= "41--50"
}
@InProceedings {kn:BH93,
  Author= "S. Bates and S. Horwitz",
  Title= "Incremental Program Testing Using Program Dependence Graphs",
  Booktitle=popl,
  Year = 1993,
  Pages= "384--396"
}
@InProceedings {kn:Hor90,
  Author= "S. Horwitz",
  Title= "Identifying the Semantic and Textual Differences Between Two Versions of a Program",
  Booktitle = pldi,
  Year= 1990,
  Pages= "234--245"
}
@Article {kn:NEK94,
  Author= "J.Q. Ning and A. Engberts and W. Kozaczynski",
  Title= "Automated Support for Legacy Code Understanding",
  Journal =cacm,
  Volume = 37,
  Number= 5,
  Month=may,
  Year = 1994,
  Pages= "50--57"
}
@Article {kn:HPrR89,
  Author= "S. Horwitz and J. Prins and T. Reps",
  Title="Integrating Non-Interfering Versions of Programs",
  Journal =toplas,
  Volume = 11,
  Number= 3,
  Month = jul,
  Year = 1989,
  Pages= "345--387"
}
@BOOK {kn:Wolf,
      Author= "Michael Wolfe",
      Title= "High Performance Compilers for Parallel Computing",
      Publisher= "Addison-Wesley",
      Year = 1995}
@BOOK {kn:Banerjee,
       Title="Parallel Algorithms for VLSI Computer-Aided Design", 
       Publisher="Prentice-Hall, Inc., Englewoods-Cliffs, NJ", 
       Year= 1994}
@InProceedings{kn:JR94,
       Author = "D. Jackson and E.J. Rollins",
       Title = "A New Model of Program Dependences for Reverse Engineering",
       Booktitle = fse,
       Month = dec,
       Year = 1994,
       Page = "2--10"
}
@InProceedings{kn:RR95,
       Author= "T. Reps and G. Rosay",
       Title = "Precise Interprocedural Chopping",
       Booktitle = fse,
       Month = oct,
       Year = 1995,
       Page = "41--52"
}
@Unpublished {kn:dmalloc,
              Year=1994,
              Month=nov,
              Title = "Debug Malloc Library",
              Author="G. Watson",
              Note = {Available at ``ftp://ftp.letters.com/src/dmalloc.ps''}}
@Unpublished {kn:myprof,
              Author="B. Zorn and P. Hilfinger",
              Year= 1991,
              Title= "A memory allocation profilers for C and lisp
                     programs",
              Note={Available at ``ftp://gatekeeper.dec.com/pub/misc/mprof-3.0.tar.z''}}
@Unpublished {kn:purify,
              Year = 1995,
              Author= "Pure Atria, Inc.",
              Title="Purify Software",
              Note={Available at ``www.pureatria.com''}}
@Manual {kn:LCLint,
         Title = "LCLint User's Guide",
         Version = "2.1",
         Year = 1996,
         Author = "D. Evans",
         Note =
                  {Available at ``larch-www.lcs.mit.edu:8001/larch/lclint/guide/''}}
@InProceedings {kn:evans96,
                Booktitle = pldi,
                Title = "Static Detection of Dynamic Memory Errors",
                Author = "D. Evans",
                Year = 1996,
Note = 
{Available at ``larch-www.lcs.mit.edu:8001/$\sim$~evs/pldi96-abstract.html''}}
@InProceedings{kn:BMS98,
          Title="Edge Profiling versus Path Profiling: The Showdown",
          Author= "T. Ball and P. Mataga and M. Sagiv",
          Booktitle = popl,
        month= jan,
        YEAR = 1998}
@Article {kn:BGR96,
          Author= "D. Bernstein and S. Gal and M. Rodeh", 
          Title= "Mathematical analysis of using
                  statistical sampling for estimating computer cache performance", 
           Journal= "Stochastic Models", 
         Volume = 12,
         Number = 1,
         Pages = "67--75",
         Year= 1996}
@Unpublished {kn:RBR97,
              Author=  "S. Rubin and D. Bernstein and M. Rodeh", 
              Title= "Virtual Cache Lines -- a Method for
               Improving Reference Locality of Recursive Data Structures", 
              Year= 1997,
              Note= "in preparation"}

@InProceedings{kn:DRS98,
   Author=  "N. Dor and M. Rodeh and M. Sagiv", 
   Title="Detecting Memory Errors via Static Pointer Analysis",
   Booktitle= paste,
  Year=1998,
  Month=jun,
  pages="27--34"
}
@TECHREPORT{kn:SRW98tr,
        AUTHOR ="M. Sagiv and T. Reps and R. Wilhelm",
        TITLE = "Parametric Shape Analysis via 3-Valued Logic",
        INSTITUTION = "Comp. Sci. Dept., Univ. of Wisconsin",
        ADDRESS = "Madison, WI",
        TYPE = "Tech. Rep.",
        NUMBER = "TR-1383",
        MONTH = aug,
        YEAR = 1998,
        NOTE = {(Revised March 2000.)}
}
@InProceedings{kn:SRW99,
        AUTHOR ="M. Sagiv and T. Reps and R. Wilhelm",
        TITLE = "Parametric Shape Analysis via 3-Valued Logic",
        Booktitle = popl,
        Pages= "105--118",
        Month= jan,
        YEAR = 1999}
@TECHREPORT{kn:MR98tr,
        AUTHOR ="D. Melski and T. Reps",
        TITLE = "Interprocedural Path Profiling",
        INSTITUTION = "Comp. Sci. Dept., Univ. of Wisconsin",
        ADDRESS = "Madison, WI",
        TYPE = "Tech. Rep.",
        NUMBER = "TR-1382",
        MONTH = sep,
        YEAR = 1998,
        NOTE = {Available at ``www.cs.wisc.edu/wpis/papers/tr1382.ps''}}

@InProceedings{kn:RS98,
   Author=  "J.L. Ross and M. Sagiv", 
   Title="Building a Bridge between Pointer Aliases and Program Dependences",
   Booktitle = esop,
  Month=mar,
  Year=1998,
  Pages="221--235"
}

@InProceedings{kn:GH95,
  author = 	 {R. Ghiya and L.J. Hendren},
  title = 	 {Connection Analysis: A Practical Interprocedural Heap Analysis for {C}},
  booktitle = 	 {Proc. of the 8th Int. Workshop on Lang. and Comp. for Par. Comp.},
  number =	 1033,
  series =	 lncs,
  year =	 1995,
  publisher =	 spv,
  address =	 {Columbus, Ohio},
  month =	 "August",
  pages =	 {515-534}
}

@InProceedings{kn:R97,
  author = 	 {T. Reps},
  title = 	 {Program analysis via graph reachability},
  booktitle = 	 {Proc. of ILPS '97: Int. Logic Programming Symposium},
  year =	 1997,
  publisher =	 {M.I.T},
  address =	 {Cambridge, MA},
  pages =	 {5-19}
}

@Unpublished{kn:YHR98p,
   author= "S. Yong and S. Horwitz and T.Reps",
   title="Personal Communication",
   year=1998,
   Month=aug}

@Techreport{kn:RS98tr,
        Author=  "J.L. Ross and M. Sagiv", 
        INSTITUTION = "Comp. Sci. Dept., Univ. of Chicago",
        ADDRESS = "Chicago, IL",
        TYPE = "Tech. Rep.",
        MONTH = aug,
        YEAR = 1998
}
@Article{kn:RS98J,
        Author=  "J.L. Ross and M. Sagiv", 
        Journal= "Nordic Journal of Computing",
        Number = 8,
        Year = 1998,
        Pages = "361--386"
}
@InProceedings{kn:HP98,
   Author="M. Hind and A. Pioli",
   Title= "Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses",
       Year    = {1998},
    Publisher  = spv,
   series = lncs,
   Address = "Pisa, Italy",
  booktitle= sas,
    Month   = sep}
@INCOLLECTION{BG96,
        AUTHOR = "D. Binkley and K. Gallagher",
        TITLE = "Program Slicing",
        BOOKTITLE = "Advances in Computers, Vol. 43",
        PUBLISHER = "Academic Press",
        ADDRESS = "San Diego, CA",
        YEAR = 1996,
        EDITOR = "M. Zelkowitz"
}
@InProceedings{kn:Yann90,
  author =   {M. Yannakakis},
  title =    {Graph-Theoretic Methods in Database Theory},
  booktitle =        {Symp. on Princ. of Database Syst.},
  year =     {1990},
  pages =    {230-242}
}
@InProceedings{kn:BGS97,
     Title="Refining Data Flow Information using Infeasible Paths",
     Author= "R. Bodik and R. Gupta and M.L. Soffa",
     Booktitle="Fifth ACM SIGSOFT Symp. on Foundations of Softw. Eng. and 
     Sixth European Softw. Eng. Conf.",
      pages="361--377",
      publisher = spv,
      volume = "1301",
      series = lncs,
      month=sep,
     Year=1997}
@INCOLLECTION{mo:morris82b,
        AUTHOR = "J.M. Morris",
        TITLE = "Assignment and Linked Data Structures",
        BOOKTITLE = "Theoretical Foundations of Programming Methodology",
        PUBLISHER = {D. Reidel Publishing Co.},
        ADDRESS = "Boston, MA",
        YEAR = 1982,
        EDITOR = "M. Broy and G. Schmidt",
        PAGES = "35--41"
}
@Article{DS95,
  author =       "G. Dong and J. Su",
  title =        "Incremental and decremental evaluation of transitive
                 closure by first-order queries",
  journal =      "Inf. \& Comput.",
  volume =       "120",
  year =         "1995",
  pages =        "101--106",
  abstract =     "We study the following problem. Suppose G is a graph
                 and TC/sub G/ its transitive closure. If G' is a new
                 graph obtained from G by inserting or deleting an edge
                 e/sub i/ can the new transitive closure TC/sub G/' be
                 defined in first-order logic using G, TC/sub G/, and e?
                 In this paper, we show that the answer is positive for
                 (1) acyclic graphs (main result), (2) graphs where the
                 vertices of the deleted edge are not in the same
                 strongly connected component, and (3) graphs where
                 there exists at most one path between each pair of
                 vertices (0-1-path graphs). It is left open whether the
                 new transitive closure is definable in first-order
                 logic for all graphs. We also consider the first-order
                 on-line computation of the dominator relation.",
}
@Article{JCSS:DongS1998,
  title =        "Arity Bounds in First-Order Incremental Evaluation and
                 Definition of Polynomial Time Database Queries",
  author =       "G. Dong and J. Su",
  pages =        "289--308",
  journal =      "Journal of Computer and System Sciences",
  year =         "1998",
  month =        dec,
  volume =       "57",
  number =       "3"
}
@Article{JCSS:PatnaikI1997,
  title =        "{Dyn-FO}: {A} Parallel, Dynamic Complexity Class",
  author =       "S. Patnaik and N. Immerman",
  pages =        "199--209",
  journal =      "Journal of Computer and System Sciences",
  year =         "1997",
  month =        oct,
  volume =       "55",
  number =       "2"
}

@Book{book:Immerman99,
      Title="Descriptive Complexity",
      Author="N. Immerman",
      Year=1999,
      Publisher=spv
}

@InProceedings{esop:BRS99,
   Author=  "M. Benedikt and T. Reps and M. Sagiv", 
   Title="A Decidable Logic for Describing Linked Data Structures",
   Booktitle= esop,
  Month=mar,
  Year=1999,
  Pages="2--19",
}
@InProceedings{esop:NNS00,
  author =       "F. Nielson and H.R. Nielson and M. Sagiv",
  title =        "A {K}leene Analysis of Mobile Ambients",
  booktitle =    "Proc. of {ESOP} 2000",
  year =         "2000",
  editor =       "G. Smolka",
  volume =       "1782",
  series =       "LNCS",
  publisher =    "Springer",
  pages =        "305--319",
}
@Unpublished{pc:kunen98,
   author= "K. Kunen",
   title="Personal Communication",
   year=1998,
   Month=aug}
@Unpublished{pc:lifschitz98,
   author= "V. Lifschitz",
   title="Personal Communication",
   year=1998,
   Month=jul}
@Book{book:BellMachover77,
      Title="A Course in Mathematical Logic",
      Author="J.L. Bell and M. Machover",
      Year=1977,
      Publisher="North-Holland Publishing Co."
}
@Book{book:Gries81,
      Title="The Science of Programming",
      Author="D. Gries",
      Year=1981,
      Publisher=spv
}
@Book{book:Dijkstra76,
      Title="A Discipline of Programming",
      Author="E.W. Dijkstra",
      Year=1976,
      Publisher="Prentice-Hall"
}
@PHDTHESIS{phd:King69,
        AUTHOR = "J.C. King",
        Title ="A Program Verifier",
        School = "Carnegie-Mellon Univ.",
        address = "Pittsburgh, PA",
        YEAR = 1969
}
@PHDTHESIS{phd:Deutsch73,
        AUTHOR = "L.P. Deutsch",
        Title ="An Interactive Program Verifier",
        School = "Univ. of California",
        address = "Berkeley, CA",
        YEAR = 1973
}
@Book{book:PLCV2,
      Title="Introduction to the PL/CV2 Programming Logic",
      Author="R. Constable and S. Johnson and C. Eichenlaub",
      Year=1982,
      Volume = "135",
      Series = lncs,
      Publisher=spv
}
@Article{tse:COR98,
      Year= 1998,
      Title ="Timing Analysis of {A}da Tasking Programs",
      Author ="J.C. Corbett",
      Journal =tse,
      Volume =22,
      Number =7,
      pages="461--483"}
@InProceedings{issta:COR98,
      Author ="J.C. Corbett",
      Title="Constructing Compact Models of Concurrent {J}ava Programs",
      Booktitle= issta,
      Month=mar,
      Year=1998
}
@TechReport{rfsm:cor98,
      Author ="J.C. Corbett",
      Title="Using Shape Analysis to Reduce Finite-State Models of Concurrent {J}ava Programs",
      Institution = "Inf. and Comp. Sci. Dept., Univ. of Hawaii",
      Address = "Honolulu, HI",
      Year="1998",
      Note="Submitted for publication",
}
@Book{book:McMill93,
      Title="Symbolic Model Checking",
      Author="K. McMillan",
      Year=1993,
      Publisher=kap
}
@InProceedings{charme:CFRRST99,
      Author=  "E.M. Clarke and M. Fujita and P.S. Rajan and T. Reps and S. Shankar and T. Teitelbaum",
      Title="Program Slicing of Hardware Description Languages",
      Booktitle="Proceedings of Charme '99",
      Month=sep,
      Year=1999,
      Publisher=spv
}
@Book{book:Reps84,
      Title="Generating Language-Based Environments",
      Author="T. Reps",
      Year=1984,
      Publisher="The M.I.T. Press"
}
@Book{book:RepsTeit88,
      Title="The {S}ynthesizer {G}enerator: {A} System for Constructing Language-Based Editors",
      Author="T. Reps and T. Teitelbaum",
      Year=1988,
      Publisher=spv
}
@Article{cacm:TR81,
      Year= 1981,
      Title ="The {C}ornell {P}rogram {S}ynthesiszer: {A} Syntax-Directed Programming Environment",
      Author ="T. Teitelbaum and T. Reps",
      Journal =cacm,
      Volume =24,
      Number =9,
      pages="563--573"}
@MastersThesis {Thesis:LevAmi00,
        AUTHOR = "T. Lev-Ami",
        Title ="{TVLA}: {A} Framework for {K}leene Based Static Analysis",
        School = "Tel-Aviv University",
        YEAR = 2000,
        address = "Tel-Aviv, Israel"}

@Article{ist:Reps98,
  Author  = "T. Reps",
  Title   = "Program Analysis via Graph Reachability",
  Journal = "Inf. and Softw. Tech.",
  Year    = 1998,
  Volume  = 40,
  Number  = "11--12",
  Pages   = "701--726"
}

@Article{toplas:RTD83,
  author =       "T. Reps and T. Teitelbaum and A. Demers",
  title =        "Incremental Context-Dependent Analysis for
                 Language-Based Editors",
  journal =      toplas,
  volume =       "5",
  number =       "3",
  pages =        "449--477",
  month =        jul,
  year =         "1983"
}
@InProceedings{popl:God97,
  author =       "P. Godefroid",
  title =        "Model Checking for Programming Languages Using
                 {VeriSoft}",
  editor =       "{ACM}",
  booktitle =    popl,
  pages =        "174--186",
  year =         "1997"
}
@MASTERSTHESIS {kn:TalMs,
           Title = "{TVLA}: {A} Framework for {K}leene Based Static Analysis",
           Author ="T. Lev-Ami",
           Year = 2000,
           School = {Tel-Aviv University}
}
@PHDTHESIS {Thesis:Gillett77,
    Author = "W. Gillett",
    Title = "Iterative Global Flow Techniques for Detecting Program Anomalies",
    School = "Univ. of Illinois",
    Year = 1977}
@InProceedings {PLDI:Bour93,
    Title = "Abstract Debugging of Higher-Order Imperative Languages",
    Author = "F. Bourdoncle",
    Year = 1993,
    Booktitle =pldi
}

@Article{tse:CHT79,
        AUTHOR ="Cheatham, Jr., T.E. and G.H. Holloway and J.A. Townley",
        TITLE = "Symbolic Evaluation and the Analysis of Programs",
	Journal = tse,
	Volume = 5,
	Number = 4,
	Pages = "402--417",
        YEAR = 1979}

@Article{tse:Tam90,
        AUTHOR ="M. Tamir",
        TITLE = "{ADI}: {A}utomatic Derivation of Invariants",
	Journal = tse,
	Volume = 6,
	Number = 1,
	Pages = "40--48",
        YEAR = 1990}

@Article{cacm:Weg74,
        AUTHOR ="B. Wegbreit",
        TITLE = "The Synthesis of Loop Predicates",
	Journal = cacm,
	Volume = 17,
	Number = 2,
	Pages = "102--112",
        YEAR = 1974}

@InProceedings{popl:SI77,
        AUTHOR ="N. Suzuki and K. Ishihata",
        TITLE = "Implementation of an Array Bound Checker",
        Booktitle = popl,
        Pages = "132--143",
        YEAR = 1977}
@Unpublished {kn:BANE,
              Year=1999,
              Title = "BANE (The Berkeley ANalysis Engine)",
              Author="A. Aiken",
              Note = {Available at
"www.cs.berkeley.edu/Research/Aiken/bane.html"}}
@Unpublished {kn:Vortex,
               Title={Vortex},
               Author="C. Chambers",
               Note=
{``www.cs.washington.edu/research/projects/cecil/www/vortex.html''},

               Year=1999}
@Book{kn:Myers78,
            Author="G.J. Myers",
            Title="The Art of Software Testing",
            Publisher="John Wiley and Sons",
            Year=1978}

@article{TCS:MR00,
  author="D. Melski and T. Reps",
  title="Interconvertibility of a Class of Set Constraints and Context-Free Language Reachability",
  journal=tcs,
  month=nov,
  year=2000,
  pages = "29--98"
}
@Article{TSE:OO90,
        AUTHOR ="K.M. Olender and L.J. Osterweil",
        TITLE = "Cecil: {A} Sequencing Constraint Language for Automatic Static Analysis Generation",
	Journal = tse,
	Volume = 16,
	Number = 3,
	Pages = "268--280",
        YEAR = 1990}
@Article{TOSEM:OO92,
        AUTHOR ="K.M. Olender and L.J. Osterweil",
        TITLE = "Interprocedural Static Analysis of Sequencing Constraints",
	Journal = tosem,
	Volume = 1,
	Number = 1,
	Pages = "21--52",
        Month = jan,
        Year = 1992}
@INPROCEEDINGS{FSE:DC94,
        Author ="M.B. Dwyer and L.A. Clarke",
        Title = "Data Flow Analysis for Verifying Properties of Concurrent Programs",
 	Booktitle = fse,
        Pages= "62--75",
        Year = 1994}
@InProceedings{POPL:S98,
        Author ="D. Schmidt",
        Title = "Data-Flow Analysis is Model Checking of Abstract Interpretations",
        Booktitle = popl,
        Pages= "38--48",
        Month= jan,
        Year = 1998}
@Article{TOSEM:C00,
        AUTHOR ="J.C. Corbett",
        TITLE = "Using Shape Analysis to Reduce Finite-State Models of Concurrent {J}ava Programs",
	Journal = tosem,
	Volume = 9,
	Number = 1,
	Pages = "51--93",
        YEAR = 2000}

@techreport{UW:CDG96,
        AUTHOR ="C. Chambers and J. Dean and D. Grove",
        TITLE = "Frameworks for Intra- and Interprocedural Dataflow Analysis",
        INSTITUTION = "Comp. Sci. and Eng. Dept., Univ. of Washington",
        ADDRESS = "Seattle, WA",
        TYPE = "Tech. Rep.",
        NUMBER = "",
        YEAR = 1996}

@inproceedings{kn:WSR00,
  author = "R. Wilhelm and M. Sagiv and T. Reps",
  title = "{S}hape Analysis",
  booktitle = "{C}ompiler {C}onstruction 2000",
  publisher = "Springer Verlag",
  series = "LNCS 1781",
  year = 2000
}

@inproceedings{kn:DRS00,
   Author=  "N. Dor and M. Rodeh and M. Sagiv",
   Title="Checking Cleanness in Linked Lists",
   Booktitle=sas,
   Year=2000}

@inproceedings{kn:TVLASAS,
   Title = "{TVLA}: {A} System for Implementing Static Analyses",
   Author ="T. Lev-Ami and M. Sagiv",
   Booktitle=sas,
   Year = 2000,
   Pages = "280--301"
}
@INPROCEEDINGS{PLDI:WL95,
        AUTHOR = "R.P. Wilson and M.S. Lam",
        TITLE ="Efficient Context-Sensitive Pointer Analysis for {C} Programs",
        BOOKTITLE = pldi,
        YEAR = 1995,
        PAGES = "1--12"          }
@Article{acta-inf:R96,
        Author ="T. Reps",
        Title ="On the Sequential Nature of Interprocedural Program-Analysis Problems",
        Journal =acta,
        Volume =33,
        Year= 1996,
        pages="739--757"}
@Article {toplas:R00,
        AUTHOR ="T. Reps",
        TITLE = "Undecidability of Context-Sensitive Data-Dependence Analysis",
	Journal = toplas,
	Volume = 22,
	Number = 1,
	Month = jan,
	Year = 2000,
	Pages = "162--186"}
@Inproceedings{micro:BL96,
        AUTHOR ="T. Ball and J. Larus",
        TITLE ="Efficient Path Profiling",
        BOOKTITLE= "Proc. of {MICRO}-29",
        YEAR = 1996,
        MONTH = dec}
@Inproceedings{cc:MR99,
        AUTHOR = "D. Melski and T. Reps",
        TITLE ="Interprocedural Path Profiling",
        BOOKTITLE = cc,
        YEAR = 1999,
        PAGES = "47--62"}
@InProceedings{SAS:SH97,
  author =       "M. Shapiro and S. Horwitz",
  title =        "The Effects of the Precision of Pointer Analysis",
  booktitle =    "Static Analysis, 4th Int. Symp., SAS '97",
  series =       lncs,
  volume =       "1302",
  pages =        "16--34",
  year =         "1997",
}
@InProceedings{ISSTA:LRSW00,
  author =       "T. Lev-Ami and T. Reps and M. Sagiv and R. Wilhelm",
  title =        "Putting Static Analysis to Work for Verification: {A} Case Study",
  booktitle =    issta,
  year =         "2000",
  pages =        "26--38"
}
@InCollection{FOSSACS:CG98,
  author =       "L. Cardelli and A.D. Gordon",
  title =        "Mobile Ambients",
  booktitle =    "Proc. of Foundations of Software Science and
                 Computation Structures (FoSSaCS)",
  year =         "1998",
  month =        mar,
  volume =       "1378",
  series =       "LNCS",
  publisher =    "Springer-Verlag",
  editor =       "M. Nivat",
  pages =        "140--155",
}
@InProceedings{ESOP:NNS00,
  author =       "F. Nielson and H.R. Nielson and M. Sagiv",
  title =        "A {K}leene Analysis of Mobile Ambients",
  booktitle =    esop,
  year =         2000,
  volume =       1782,
  series =       lncs,
  pages =        "305--319",
}
@InProceedings{CC:RS01,
  Author    = "N. Rinetzky and M. Sagiv",
  Title     = "Interprocedural Shape Analysis for Recursive Programs",
  Booktitle = cc,
  Series    = lncs,
  Volume    = 2027,
  Year      = 2001,
  Pages     = "133--149",
}
@InProceedings{kn:Z99,
  Author =    "E. Zapata",
  Title =     "Automatic parallelization of irregular applications",
  Booktitle = "SPA",
  Year =      1999
}
@Article {PC:GAPZ00,
        AUTHOR ="E. Guti\'{e}rrez and R. Asenjo and O.G. Plata and E.L. Zapata",
        TITLE = "Automatic Parallelization of Irregular Applications",
	Journal = "Parallel Computing",
	Volume = 26,
	Number = "13--14",
	Year = 2000,
	Pages = "1709--1738"
}
@inproceedings{SAS:LS00,
   Title = "{TVLA}: {A} System for Implementing Static Analyses",
   Author ="T. Lev-Ami and M. Sagiv",
   Booktitle=sas,
   Pages = "280--301",
   Year = 2000,
}
@InProceedings{esop:EMS00,
   Author    = "J. Elgaard and A. M{\o}ller  and M.I. Schwartzbach",
   Title     = "Compile-Time Debugging of C Programs Working on Trees",
   Booktitle = esop,
   Year      = 2000,
   Pages     = "119--134",
}
@InProceedings{SAS:FA97,
   Title     = "Program Analysis Using Mixed Term and Set Constraints",
   Author    = "M. F{\"a}hndrich and A. Aiken",
   Booktitle = sas,
   Month     = sep,
   Year      = 1997,
   Pages     = "114--126"
}
@InProceedings{PLDI:FFSA98,
   Author    = "M. F{\"a}hndrich and J. Foster and Z. Su and A. Aiken",
   Title     = "Partial Online Cycle Elimination in Inclusion Constraint Graphs",
   Booktitle = pldi,
   Month     = jun,
   Year      = 1998,
   Pages     = "85--96"
}
@InProceedings{POPL:SFA00,
   Author    = "Z. Su and M. F{\"a}hndrich and A. Aiken",
   Title     = "Projection Merging: {R}educing Redundancies in Inclusion Constraint Graphs",
   Editor    = "T. Reps",
   Booktitle = popl,
   Month     = jan,
   Year      = 2000,
   Pages     = "81--95"
}
@InProceedings{PLDI:HT01,
   Author    = "N. Heintze and O. Tardieu",
   Title     = "Ultra-fast Aliasing Analysis using {CLA}: {A} Million Lines of {C} Code in a Second",
   Booktitle = pldi,
   Month     = jun,
   Year      = 2001
}
@InProceedings{PLDI:RC00,
   Author    = "A. Rountev and S. Chandra",
   Title     = "Offline Variable Substitution for Scaling Points-to Analysis",
   Booktitle = pldi,
   Month     = jun,
   Year      = 2000
}

@Article{TOPLAS:SRW02,
  Author    = "M. Sagiv and T. Reps and R. Wilhelm",
  Title     = "Parametric Shape Analysis via 3-Valued Logic",
  Journal   = toplas,
  Year      = 2002,
  Volume    = 24,
  Number    = 3,
  Pages     = "217--298"
}

@Book{Book:NNH99,
  author = "F. Nielson and H.R. Nielson and C. Hankin",
  title = "Principles of Program Analysis",
  publisher = spv,
  year = "1999"
}

@InProceedings{PLDI:BGS98,
  author = "R. Bodik and R. Gupta and M. L. Soffa",
  title = "Complete Removal of Redundant Computations",
  booktitle = pldi,
  year = 1998,
  pages = {1--14}
}

@Article{NM:Dijkstra59,
  Author    = "E.W. Dijkstra",
  Title     = "A Note on Two Problems in Connexion with Graphs",
  Journal   = "Numerische Mathematik",
  Year      = 1959,
  Volume    = 1,
  Pages     = "269--271"
}

@Book{Book:Berge73,
  author    = "C. Berge",
  title     = "Graphs and Hypergraphs",
  publisher = "North-Holland",
  year      = "1973"
}

@Article{ADM:Berge84,
  Author    = "C. Berge",
  Title     = "Minimax Theorems for Normal Hypergraphs and Balanced Hypergraphs --- {A} Survey",
  Journal   = "Annals of Disc. Mathematics",
  Year      = 1984,
  Volume    = 21,
  Pages     = "3--19"
}

@Book{Book:Berge89,
  author    = "C. Berge",
  title     = "Hypergraphs: {C}ombinatorics of Finite Sets",
  publisher = "North-Holland",
  year      = "1989"
}

@Article{DAM:GLPN93,
  Author    = "G. Gallo and G. Longo and S. Pallottino and S. Nguyen",
  Title     = "Directed Hypergraphs and Applications",
  Journal   = "Disc. Appl. Math.",
  Year      = 1993,
  Volume    = 42,
  Pages     = "177--201"
}

@InProceedings{CIIT:IN89,
   author    = "G.F. Italiano and U. Nanni",
   title     = "On Line Maintenance of Minimal Directed Hypergraphs",
   booktitle = "Proc. 3rd Convegno Italiano di Informatica Teorica",
   publisher = "World Science Press",
   year      = 1989,
   pages     = "335--349"
}

@Article{TCS:ANI90,
  Author    = "G. Ausiello and U. Nanni and G.F. Italiano",
  Title     = "Dynamic Maintenance of Directed Hypergraphs",
  Journal   = tcs,
  Year      = 1990,
  Volume    = 72,
  Pages     = "97--117"
}

@TechReport{TR:AIN92,
      Author   = "G. Ausiello and G.F. Italiano and U. Nanni",
      Title    = "Optimal Traversal of Directed Hypergraphs",
      Type     = "Tech. Rep.",
      Number   = "TR-92-073",
      Month    = sep,
      Year     = "1992"
}

@Inproceedings{GCCS:MW82,
      Author    = "U. {M\"oncke} and R. Wilhelm",
      Title     = "Iterative Algorithms on Grammar Graphs",
      Booktitle = "Proc. of the Eighth Conf. on Graphtheoretic Concepts in Comp. Sci. (WG 8.2)",
      Editor    = "H.J. Schneider and H. Goettler",
      Year      = 1982,
      Pages     = "177--194"
}

@Article{FMSD:HPR97,
  Author    = "N. Halbwachs and Y.-E. Proy and P. Roumanoff",
  Title     = "Verification of Real-Time Systems Using Linear Relation Analysis",
  Journal   = fmsd,
  Year      = 1997,
  Volume    = 11,
  Number    = 2,
  Pages     = "157--185"
}

@Manual{NewPolka:Jeannet,
  Author    = "B. Jeannet",
  Title     = "New Polka",
  Organization = "{IRISA}",
  Address   = "Rennes, France",
  Note      = "www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html"
}

@InProceedings{POPL:CH78,
    Author    = "P. Cousot and N. Halbwachs",
    Title     = "Automatic Discovery of Linear Constraints Among Variables of a Program",
    Booktitle = popl,
    Year      = 1978,
    Pages     = "84--96"
}

@InProceedings{ISP:CC76,
    Author    = "P. Cousot and R. Cousot",
    Title     = "Static Determination of Dynamic Properties of Programs",
    Booktitle = "Proc. 2nd. Int. Symp on Programming",
    Month     = apr,
    Address   = "Paris",
    Year      = 1976
}

@InProceedings{PASTE:DRS98,
   Author    = "N. Dor and M. Rodeh and M. Sagiv",
   Title     = "Detecting Memory Errors via Static Pointer Analysis",
   Booktitle = paste,
   Year      = 1998,
   Month     = jun,
   Pages     = "27--34"
}

@InProceedings{SAS:DRS00,
   Author    = "N. Dor and M. Rodeh and M. Sagiv",
   Title     = "Checking Cleanness in Linked Lists",
   Booktitle = sas,
   Year      = 2000,
   Publisher = spv
}

@InProceedings{SAS:DRS01,
   Title     = "Cleanness Checking of String Manipulations in {C} Programs via Integer Analysis",
   Author    = "N. Dor and M. Rodeh and M. Sagiv",
   Booktitle = sas,
   Year      = 2001,
   Month     = jul
}

@InProceedings{PLDI:RR00,
    author = "R. Rugina and M.C. Rinard",
    title = "Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions",
    booktitle = pldi,
    pages = "182--195",
    year = "2000"
}

@InProceedings{TOPLAS:RR,
    author = "R. Rugina and M.C. Rinard",
    title = "Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions",
    journal = toplas,
}

@InProceedings{FM:Rustan01,
    author    = "C. Flanagan and K. Rustan and M. Leino",
    title     = "{H}oudini, an annotation assistant for {E}sc/{J}ava",
    Booktitle = "Formal Methods for Increasing Software Productivity",
    volume    = "2021",
    series    = lncs,
    pages     = "500--517",
    month     = mar,
    Year      = 2001
}

@InProceedings{NDSS:WFBA00,
    author = "D. Wagner and J. Foster and E. Brewer and A. Aiken",
    title = "A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities",
    Booktitle = ndss,
    Month = feb,
    year = "2000"
}

@InProceedings{USENIX-SS:LE01,
    author = "D. Larochelle and D. Evans",
    title = "Statically Detecting Likely Buffer Overflow Vulnerabilities",
    Booktitle = "10th USENIX Security Symposium",
    year = "2001"
}

@MISC{url:TVLA,
  Title = "{TVLA} System",
  Note  = {``www.cs.tau.ac.il/$\sim$tvla/''},
  key   = "TVLA"
}

@InProceedings{PLILP:CC92,
  author    = "P. Cousot and R. Cousot",
  title     = "Comparing the {G}alois Connection and Widening/Narrowing Approaches to Abstract Interpretation",
  pages     = "269--295",
  booktitle = plilp,
  year      = "1992"
}

@inproceedings{SAS:BJT99,
   Author    = "F. Besson and T.P. Jensen and J.-P. Talpin",
   Title     = "Polyhedral Analysis for Synchronous Languages",
   Booktitle = sas,
   Year      = 1999,
   Pages     = "51--68"
}

@inproceedings{SAS:YKB02,
   Author    = "T. Yavuz-Kahveci and T. Bultan",
   Title     = "Automated Verification of Concurrent Linked Lists with Counters",
   Booktitle = sas,
   Year      = 2002,
   Pages     = "69--84"
}

@InProceedings{PLDI:RR99,
    author = "R. Rugina and M.C. Rinard",
    title = "Pointer Analysis for Multithreaded Programs",
    booktitle = pldi,
    pages = "77--90",
    year = "1999"
}

@PHDTHESIS {Thesis:Binkley91,
    Author = "D. Binkley",
    Title = "Multi-Procedure Program Integration",
    School = "Comp. Sci. Dept., Univ. of Wisconsin",
    Address = "Madison, WI",
    Note = "Tech. Rep. TR-1038",
    Month = aug,
    Year = 1991}

@article{ActaInf:Kastens80,
    author = "U. Kastens",
    title = "Ordered Attribute Grammars",
    journal = acta,
    year = "1980",
    volume = "13",
    number = "3",
    pages = "229-256"
}

@MISC{USPTO:RHB92,
  Author    = "T. Reps and S. Horwitz and D. Binkley",
  Title     = "{U.S. Patent Number 5,161,216}, {I}nterprocedural Slicing of Computer Programs Using Dependence Graphs",
  Publisher = "{U.S. Patent and Trademark Office}",
  Month     = nov,
  Day       = "3",
  Year      = "1992"
}

@INPROCEEDINGS{POPL:RF01,
  AUTHOR    = "J. Rehof and M. F{\"a}hndrich",
  TITLE     = "Type-Base Flow Analysis: {F}rom Polymorphic Subtyping to {CFL}-Reachability",
  BOOKTITLE = popl,
  YEAR      = 2001,
  PAGES     = "54--66"
}

@article{MST:Knuth68,
  author  = "D.E. Knuth",
  title   = "Semantics of Context-Free Languages",	
  journal = "Math. Syst. Theory",
  volume  = "2",
  pages   = "127--145",
  year    = "1968"	
}

@ARTICLE{TOPLAS:CF94,
        AUTHOR = "J.-D. Choi and J. Ferrante",
        TITLE = "Static Slicing in the Presence of Goto Statements",
        JOURNAL = toplas,
        YEAR = 1994,
        VOLUME = 16,
        NUMBER = 4,
        PAGES = "1096--1113"
}

@InProceedings{AADEBUG:BH93,
    author = "T. Ball and S. Horwitz",
    title = "Slicing Programs with Arbitrary Control-flow",
    booktitle = "Int. Workshop on Automated and Algorithmic Debugging",
    pages = "206--222",
    year = "1993"
}

@InProceedings{PLDI:Agrawal94,
    author = "H. Agrawal",
    title = "On Slicing Programs with Jump Statements",
    booktitle = pldi,
    pages = "302--312",
    year = "1994"
}

@InProceedings{FASE:KH02,
    author = "S. Kumar and S. Horwitz",
    title = "Better Slicing of Programs with Jumps and Switches",
    booktitle = fase,
    pages = "96--112",
    year = "2002"
}

@InProceedings{SCA:LW87,
    author = "J.R. Lyle and M. Weiser",
    title = "Automatic Program Bug Location by Program Slicing",
    booktitle = "Symp. on Comp. and Applications ",
    pages = "877--883 ",
    year = "1987"
}

@InProceedings{PLDI:PW92,
    author    = "W. Pugh and D. Wonnacott",
    title     = "Eliminating False Data Dependences using the {O}mega Test",
    booktitle = pldi,
    pages     = "140--151",
    year      = "1992"
}

@InProceedings{PLDI:MHL91,
    author    = "D.E. Maydan and J.L. Hennessy and M.S. Lam",
    title     = "Efficient and Exact Data Dependence Analysis",
    booktitle = pldi,
    pages     = "1--14",
    year      = "1991"
}

@InProceedings{PLDI:GKT91,
    author    = "G. Goff and K. Kennedy and C.-W. Tseng",
    title     = "Practical Dependence Testing",
    booktitle = pldi,
    pages     = "15--29",
    year      = "1991"
}

@PHDTHESIS{Thesis:Bannerjee79,
    Author = "U. Bannerjee",
    Title = "Speedup of Ordinary Programs",
    School = "Dept. of Comp. Sci., Univ. of Illinois",
    Year = "1979",
    Address = "Urbana, IL",
    Month = oct
}

@PHDTHESIS{Thesis:Wolfe82,
    Author = "M.J. Wolfe",
    Title = "Optimizing Supercompilers for Supercomputers",
    School = "Dept. of Comp. Sci., Univ. of Illinois",
    Year = "1982",
    Address = "Urbana, IL",
    Month = oct
}

@Article{TOPLAS:Ramalingam00,
    Author  = "G. Ramalingam",
    Title   = "Context-Sensitive Synchronization-Sensitive Analysis is Undecidable",
    Journal = toplas,
    Volume  = 22,
    Number  = 2,
    Year    = 2000,
    Pages   = "416--430"
}

@InProceedings{ICSE:SHR99,
  Author    = "S. Sinha and M. Harrold and G. Rothermel",
  Title     = "System-Dependence-Graph-Based Slicing of Programs with Arbitrary Control Flow",
  Booktitle = icse,
  Publisher = "IEEE Comp. Soc.",
  Address   = "Wash., DC",
  Year      = "1999",
  Pages     = "432--441"
}

@TechReport{KSU-CIS-TR:DCHSZ99,
  Author      = "M.B. Dwyer and J.C. Corbett and J. Hatcliff and S. Sokolowski and H. Zheng",
  Title       = "Slicing Multi-Threaded {J}ava Programs: {A} Case Study",
  Type        = "Tech. Rep.",
  Number      = "99-7",
  Institution = "Dept. of Comp. and Inf. Sci., Kansas State Univ.",
  Address     = "Manhattan, KS",
  Month       = feb,
  Year        = "1999"
}

@InProceedings{PASTE:Krinke98,
   Author    = "J. Krinke",
   Title     = "Static Slicing of Threaded Programs",
   Booktitle = paste,
   Year      = 1998,
   Month     = jun
}

@InProceedings{ISSTA:NR00,
  Author    = "M. Nanda and S. Ramesh",
  Title     = "Slicing Concurrent Programs",
  Booktitle = issta,
  Month     = aug,
  Year      = 2000
}

@inproceedings{SAS:MOS02,
   Author    = "M. M{\"u}ller-Olm and H. Seidl",
   Title     = "Polynomial Constants are Decidable",
   Booktitle = sas,
   Year      = 2002,
   Pages     = "4--19"
}

@InProceedings{PLDI:MS01,
   Author    = "A. M{\o}ller and M.I. Schwartzbach",
   Title     = "The Pointer Assertion Logic Engine",
   Booktitle = pldi,
   Year      = 2001,
   Pages     = "221--231",
}

@InProceedings{WADS:LT91,
  author = 	 "T. Lengauer and D. Theune",
  title = 	 "Unstructured Path Problems and the Making of Semirings (Preliminary Version)",
  volume = 	 "519",
  series = 	 lncs,
  pages =  	 "189--200",
  booktitle =    "Workshop on Algs. and Data Structs.",
  year = 	 "1991",
  publisher =    spv
}

@ARTICLE{STTT:CFRRST02,
  AUTHOR        = "E.M. Clarke and M. Fujita and P.S. Rajan and T. Reps
                   and S. Shankar and T. Teitelbaum",
  TITLE         = "Program Slicing for {VHDL}",
  JOURNAL       = sttt,
  VOLUME        = 4,
  NUMBER        = 1,
  PAGES         = "125--137",
  MONTH         = oct,
  YEAR          = 2002
}

@Inproceedings{VMCAI:RSY04,
  Author    = "T. Reps and M. Sagiv and G. Yorsh",
  Title     = "Symbolic Implementation of the Best Transformer",
  Booktitle = vmcai,
  Year      = 2004,
  Pages     = "252--266"
}

@Inproceedings{cc:MR03,
        AUTHOR = "D. Melski and T. Reps",
        TITLE ="The Interprocedural Express-lane Transformation",
        BOOKTITLE = cc,
        YEAR = 2003,
}

@Inproceedings{WSCAM:ABRT01,
  AUTHOR = "P. Anderson and D. Binkley and G. Rosay and T. Teitelbaum",
  TITLE = "Flow Insensitive Points-to Sets",
  BOOKTITLE = scam,
  YEAR = 2001,
  MONTH = nov,
  PAGES = "79--89"
}

@Inproceedings{WISE:AT01,
  AUTHOR = "P. Anderson and T. Teitelbaum",
  TITLE = "Software Inspection Using CodeSurfer",
  BOOKTITLE = "Workshop on Inspection in Softw. Eng.",
  YEAR = 2001
}

@Inproceedings{UITP:AGST97,
  AUTHOR = "P. Anderson and M. Goldsmith and B. Scattergood and T. Teitelbaum",
  TITLE = "An Environment for Integrating Formal Methods Tools",
  BOOKTITLE = "User Interfaces for Theorem Provers",
  YEAR = 1997,
  MONTH = sep,
  PAGES = "9--16"
}

@Inproceedings{PARLE:ABK92,
  AUTHOR = "P. Anderson and D. Bolton and P. Kelley",
  TITLE = "Paragon Specifications: {S}tructure, Analysis and Implementation",
  BOOKTITLE = parle,
  YEAR = 1992,
  PAGES = "783--798"
}

@Inproceedings{PARLE:AKW89,
  AUTHOR = "P. Anderson and P. Kelly and P. Winterbottom",
  TITLE = "The Feasibility of a General-purpose Parallel Computing using {WSI}",
  BOOKTITLE = parle,
  YEAR = 1989,
  PAGES = "251--268 "
}

@Inproceedings{PARLE:AHKOS87,
  AUTHOR = "P. Anderson and C. Hankin and P. Kelly and P. Osmon and M.J. Shute",
  TITLE = "{COBWEB-2}: {S}tructured Specification of a Wafer-Scale Supercomputer",
  BOOKTITLE = parle,
  YEAR = 1987,
  PAGES = "51--67 "
}

@MISC{URL:CodeSurfer,
  Title = "{CodeSurfer} System",
  Note  = "www.grammatech.com/products/codesurfer",
  key   = "codesurfer"
}

@MISC{URL:WPST,
  Title = "The {W}isconsin {P}rogram-{S}licing {T}ool",
  Note  = "www.cs.wisc.edu/wpis/slicing\_tool/",
  key   = "wpst"
}

@Article{SCP:Steffen93,
  Author  = "B. Steffen",
  Title   = "Generating Data Flow Analysis Algorithms from Modal Specifications",
  Journal = scp,
  Year    = 1993,
  Volume  = 21,
  Number  = 2,
  Pages   = "115--139"
}

@InProceedings{TACS:Steffen91,
  author    = "B. Steffen",
  title     = "Data Flow Analysis as Model Checking",
  booktitle = tacs,
  publisher = spv,
  series    = lncs,
  volume    = 526,
  year      = 1991,
  pages     = "346--365"
}

@InProceedings{POPL:CC00,
    Author    = "P. Cousot and R. Cousot",
    Title     = "Temporal Abstract Interpretation",
    Booktitle = popl,
    Year      = 2000,
    Pages     = "12--25"
}

@TechReport{UW-TR-1470:RSJ03,
  Author      = "T. Reps and S. Schwoon and S. Jha",
  Title       = "Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "Tech. Rep.",
  Number      = "TR-1470",
  Month       = feb,
  Year        = 2003
}

@InProceedings{SAS:RSJ03,
  Author      = "T. Reps and S. Schwoon and S. Jha",
  Title       = "Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis",
  Booktitle   = sas,
  Year        = "2003",
  Pages       = "189--213"
}

@TechReport{U-Trier:MOS03,
  Author      = "M. M{\"u}ller-Olm and H. Seidl",
  Title       = "Computing Interprocedurally Valid Relations in Affine Programs",
  Institution = "Comp. Sci. Dept., Univ. of Trier",
  Address     = "Trier, Ger.",
  Type        = "Tech. Rep.",
  Month       = jan,
  Year        = "2003",
  Note        = {Available at ``www.informatik.uni-trier.de/$\sim$seidl/papers/affine.ps''}
}

@InProceedings{popl:Myers84,
  author =       "E.W. Myers",
  title =        "Efficient Applicative Data Types",
  booktitle =    popl,
  year =         1984
}

@InProceedings{SAS:MRFGS02,
   Author    = "R. Manevich and G. Ramalingam and J. Field and D. Goyal and M. Sagiv",
   Title     = "Compactly Representing First-Order Structures for Static Analysis",
   Booktitle = sas,
   Year      = 2002,
   Pages     = "196--212"
}

@InProceedings{PLDI:BCCFMMMR03,
    author = "B. Blanchet and P. Cousot and R. Cousot and J. Feret and L. Mauborgne and A. Min\'{e} and D. Monniaux and X. Rival",
    title = "A Static Analyzer for Large Safety-Critical Software",
    booktitle = pldi,
    pages = "196--207",
    year = "2003"
}

@phdthesis{Thesis:Pugh88,
    author = "W.W. Pugh",
    title = "Incremental Computation and the Incremental Evaluation of Functional Programs",
    school = "Cornell University",
    year = "1988"
}

@InProceedings {PLDI:XMR00,
  Author =      "Z. Xu and B. Miller and T. Reps",
  Title =       "Safety Checking of Machine Code",
  Booktitle =   pldi,
  Year =        2000
}

@InProceedings{ESOP:XMR01,
  author =      "Z. Xu and B. Miller and T. Reps",
  title =       "Typestate Checking of Machine Code",
  booktitle =   esop,
  year =        2001
}

@InProceedings{SC:Pugh91,
  Author =      "W. Pugh",
  Title =       "The {O}mega Test: A Fast and Practical Integer Programming Algorithm for Dependence Analysis",
  Publisher =   "IEEE/ACM",
  Booktitle =   "Supercomputing",
  Year =        1991,
  Pages =       "4--13"
}

@inproceedings{ICS:Masdupuy92,
   Author    = "F. Masdupuy",
   Title     = "Array Abstractions Using Semantic Analysis of Trapezoid Congruences",
   Booktitle = ics,
   Year      = 1992,
   Pages     = "226--235"
}

@PHDTHESIS{Thesis:Masdupuy93,
        AUTHOR = "F. Masdupuy",
        Title  = "Array Indices Relational Semantic Analysis using Rational Cosets and Trapezoids",
        School = "Ecole Polytechnique",
        YEAR = 1993
}

@PHDTHESIS{Thesis:Granger91,
        AUTHOR = "P. Granger",
        Title  = "Analyses Semantiques de Congruence",
        School = "Ecole Polytechnique",
        YEAR = 1991
}

@Article{Granger89,
  author = "P. Granger",
  title = "Static Analysis of Arithmetic Congruences",
  journal = "Int. J. of Comp. Math.", 
  year = 1989,
}

@InProceedings{WCRE:Mine01,
  Author    = "A. Min{\'e}",
  Title     = "The Octagon Abstract Domain",
  Booktitle = wcre,
  Year      = 2001,
  Pages     = "310--322"
}

@InProceedings{SAS:Mine02,
  Author    = "A. Min{\'e}",
  Title     = "A Few Graph-Based Relational Numerical Abstract Domains",
  Booktitle = sas,
  Year      = 2002,
  Pages     = "117--132"
}

@inproceedings{AVMFSS:Dill89,
   Author    = "D.L. Dill",
   Title     = "Timing Assumptions and Verification of Finite-State Concurrent Systems",
   Booktitle = "Automatic Verification Methods for Finite State Systems",
   Year      = 1989,
   Pages     = "197--212"
}

@Article{TSE:Harrison77,
        AUTHOR ="W.H. Harrison",
        TITLE = "Compiler Analysis of the Value Ranges for Variables",
	Journal = tse,
	Volume = 3,
	Number = 3,
	Pages = "243--250",
        YEAR = 1977
}

@InProceedings{CC:VCH96,
  author =       "C. Verbrugge and P. Co and L.J. Hendren",
  title =        "Generalized Constant Propagation: {A} Study in {C}",
  booktitle =    cc,
  year =         "1996",
  volume =       "1060",
  series =       lncs,
  pages =        "74--90",
}

@inproceedings{PLDI:FLR98,
 author = "M. Frigo and C. Leiserson and K. Randall",
 title = "The Implementation of the {Cilk-5} multi-threaded language",
 booktitle = pldi, 
 year = 1998
 }

@Article{acta-inf:H72,
  Author  = "C.A.R. Hoare",
  Title   = "Proof of Correctness of Data Representations",
  Journal = acta,
  Volume  = 1,
  Year    = 1972,
  Pages   = "271--281"
}

@TechReport{UW-TR-1486r:BR03,
  Author      = "G. Balakrishnan and T. Reps",
  Title       = "Analyzing Memory Accesses in x86 Executables",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "Tech. Rep.",
  Number      = "TR-1486 (revised)",
  Month       = oct,
  Year        = 2003
}

@Inproceedings{CC:BR04,
  Author      = "G. Balakrishnan and T. Reps",
  Title       = "Analyzing Memory Accesses in x86 Executables",
  Booktitle   = cc,
  Year        = 2004,
  Pages       = "5--23"
}

@Inproceedings{CC:BGRT05,
  Author      = "G. Balakrishnan and R. Gruian and T. Reps and T. Teitelbaum",
  Title       = "CodeSurfer/x86 -- {A} Platform for Analyzing x86 Executables, (Tool Demonstration Paper)",
  Booktitle   = cc,
  Year        = 2005
}

@InProceedings{POPL:MOS04,
  Author      = "M. M{\"u}ller-Olm and H. Seidl",
  Title       = "Precise Interprocedural Analysis through Linear Algebra",
  Booktitle   = popl,
  Year        = 2004
}

@InProceedings{POPL:BA98,
  Author      = "R. Bodik and S. Anik",
  Title       = "Path-Sensitive Value-Flow Analysis",
  Booktitle   = popl,
  Year        = 1998,
  Pages       = "237--251"
}

@inproceedings{SAS:DLFR01,
   Author    = "M.Das and B. Liblit and M. F{\"a}hndrich and J. Rehof",
   Title     = "Estimating the Impact of Scalable Pointer Analysis on Optimization",
   Booktitle = sas,
   Year      = 2001,
   Pages     = "260--278"
}

@ARTICLE{STTT:HP00,
  AUTHOR        = "K. Havelund and T. Pressburger",
  TITLE         = "Model Checking {J}ava Programs Using {J}ava {P}ath{F}inder",
  JOURNAL       = sttt,
  VOLUME        = 2,
  NUMBER        = 4,
  YEAR          = 2000
}

@InProceedings{ICSE:Bandera00,
  Author    = "J.C. Corbett and M.B. Dwyer and J. Hatcliff and S. Laubach and C.S. Pasareanu and Robby and H. Zheng",
  Title     = "Bandera: {E}xtracting Finite-State Models from {J}ava Source Code",
  Booktitle = icse,
  Year      = "2000",
  Pages     = "439--448"
}

@Article{SPE:BPS00,
	Author= "W.R. Bush and J.D. Pincus and D.J. Sielaff",
	Title = "A Static Analyzer for Finding Dynamic Programming Errors",
	Journal = spe,
	Volume = 30,
	Year = 2000,
	Pages = "775--802"
}

@InProceedings{OSDI:ECCH00,
  Author    = "D.R. Engler and B. Chelf and A. Chou and S. Hallem",
  Title     = "Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions",
  Booktitle = osdi,
  Year      = "2000",
  Pages     = "1--16"
}

@InProceedings{POPL:HJMS02,
   Author    = "T.A. Henzinger and R. Jhala and R. Majumdar and G. Sutre",
   Title     = "Lazy Abstraction",
   Booktitle = popl,
   Year      = 2002,
   Pages     = "58--70"
}

@Unpublished{UNPUB:JLRS04,
  Author = "B. Jeannet and A. Loginov and T. Reps and M. Sagiv", 
  Title  = "A Relational Approach to Interprocedural Shape Analysis", 
  Month  = apr,
  Year   = 2004,
  Note   = "Submitted for publication"
}

@TechReport{UW-TR-1505:JLRS04,
  Author      = "B. Jeannet and A. Loginov and T. Reps and M. Sagiv", 
  Title       = "A Relational Approach to Interprocedural Shape Analysis", 
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Type        = "Tech. Rep.",
  Number      = "1505",
  Month       = apr,
  Year        = 2004
}

@Unpublished{UNPUB:LRS04,
  Author = "A. Loginov and T. Reps and M. Sagiv", 
  Title  = "Abstraction Refinement for $3$-Valued-Logic Analysis", 
  Month  = apr,
  Year   = 2004,
  Note   = "Submitted for publication"
}

@TechReport{UW-TR-1504:LRS04,
  Author      = "A. Loginov and T. Reps and M. Sagiv", 
  Title       = "Abstraction Refinement for $3$-Valued-Logic Analysis", 
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Type        = "Tech. Rep.",
  Number      = "1504",
  Month       = apr,
  Year        = 2004
}


@InProceedings{FSE:ZRL96,
  Author    = "S. Zhang and B.G. Ryder and W. Landi",
  Title     = "Program Decomposition for Pointer Aliasing: {A} Step Toward Practical Analyses",
  Booktitle = fse,
  Pages     = "81--92",
  Year      = 1996
}

@InProceedings{POPL:CRL99,
  Author    = "R. Chatterjee and B.G. Ryder and W. Landi",
  Title     = "Relevant Context Inference",
  Booktitle = popl,
  Year      = 1999,
  Pages     = "133--146"
}

@InProceedings{PLDI:Das00,
  Author    = "M. Das",
  Title     = "Unification-Based Pointer Analysis with Directional Assignments",
  Booktitle = pldi,
  Pages     = "35--46",
  Year      = "2000"
}

@InProceedings{PLDI:FRD00,
  Author    = "M. F{\"a}hndrich and J. Rehof and M. Das",
  Title     = "Scalable Context-Sensitive Flow Analysis Using Instantiation Constraints",
  Booktitle = pldi,
  Pages     = "253--263",
  Year      = "2000"
}

@InProceedings{PLDI:CW00,
  Author    = "B.-C. Cheng and W.W. Hwu",
  Title     = "Modular Interprocedural Pointer Analysis Using Access Paths: Design, Implementation, and Evaluation",
  Booktitle = pldi,
  Pages     = "57--69",
  Year      = "2000"
}

@InProceedings{PLDI:WL04,
  Author    = "J. Whaley and M. Lam",
  Title     = "Cloning-Based Context-Sensitive Pointer Alias Analyses Using Binary Decision Diagrams",
  Booktitle = pldi,
  Year      = "2004"
}

@InProceedings{PLDI:ZC04,
  Author    = "J. Zhu and S. Calman",
  Title     = "Symbolic Pointer Analysis Revisited",
  Booktitle = pldi,
  Year      = "2004"
}

@InProceedings{SAS:FFA00,
  Author    = "J.S. Foster and M. F{\"a}hndrich and A. Aiken",
  Title     = "Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for {C}",
  Booktitle = sas,
  Year      = "2000",
  Pages     = "175--198"
}

@InProceedings{SAS:WL02,
  Author    = "J. Whaley and M.S. Lam",
  Title     = "An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages",
  booktitle = sas,
  Year      = "2002",
  Pages     = "180--195"
}

@InProceedings{TACAS:YRS04,
  Author    = "G. Yorsh and T. Reps and M. Sagiv",
  Title     = "Symbolically Computing Most-Precise Abstract Operations for Shape Analysis",
  Booktitle = tacas,
  Year      = 2004,
  Pages     = "530--545"
}

@InProceedings{TACAS:GDDRS04,
  Author    = "D. Gopan and F. DiMaio and N. Dor and T. Reps and M. Sagiv",
  Title     = "Numeric Domains with Summarized Dimensions",
  Booktitle = tacas,
  Year      = 2004,
  Pages     = "512--529"
}

@InProceedings{PLDI:YR04,
  Author    = "E. Yahav and G. Ramalingam",
  Title     = "Verifying Safety Properties using Separation and Heterogeneous Abstractions",
  Booktitle = pldi,
  Year      = "2004"
}

@InProceedings{PLDI:RWFGS02,
  Author    = "G. Ramalingam and A. Warshavsky and J. Field and D. Goyal and M. Sagiv",
  Title     = "Deriving Specialized Program Analyses for Certifying Component-Client Conformance",
  Booktitle = pldi,
  Year      = "2002",
  Pages     = "83--94"
}

@Misc{URL:PPL,
  title = "{PPL}: The {P}arma Polyhedra Library",
  note  = "www.cs.unipr.it/ppl/",
  institution = "University of Parma",
  key   = "ppl"
}

@Misc{URL:NewPolka,
  title = "New {P}olka",
  note  = "www.irisa.fr/prive/Bertrand.Jeannet/newpolka.html",
  institution = {IRISA},
  key   = "new polka"
}

@Misc{URL:Bane,
  title = "Bane",
  note  = "http.cs.berkeley.edu/Research/Aiken/bane.html",
  institution = "Univ.\ of California, Berkeley",
  key   = "bane"
}

@InProceedings{PLDI:FF97,
  Author    = "C. Flanagan and M. Felleisen",
  Title     = "Componential Set-Based Analysis",
  Booktitle = pldi,
  Year      = "1997",
  Pages     = "235--248"
}

@InProceedings{PLDI:LR92,
  Author    = "W. Landi and B.G. Ryder",
  Title     = "A Safe Approximate Algorithm for Interprocedural Pointer Aliasing",
  Booktitle = pldi,
  Year      = "1992",
  Pages     = "235--248"
}

@Article{JPP:Ghiya96,
  Author  = "R. Ghiya",
  Title   = "Connection Analysis: {A} Practical Interprocedural Heap Analysis for {C}",
  Journal = "Int.\ J.\ of Parallel Programming",
  Volume  = 24,
  Number  = 6,
  Year    = 1996,
  Pages   = "547--578"
}

@InProceedings{LCPC:GH95,
  Author    = "R. Ghiya and L.J. Hendren",
  Title     = "Connection Analysis: {A} Practical Interprocedural Heap Analysis for {C}",
  Booktitle = "Proc.\ Workshop on Languages and Compilers for Parallel Computing",
  Year      = "1995",
  Pages     = "515--534"
}

@InProceedings{PLDI:EGH94,
  Author    = "M. Emami and R. Ghiya and L.J. Hendren",
  Title     = "Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers",
  Booktitle = pldi,
  Year      = "1994",
  Pages     = "242--256"
}

@Article{CACM:AC76,
  Author  = "F.E. Allen and J. Cocke",
  Title   = "A Program Data Flow Analysis Procedure",
  Journal = cacm,
  Year    = 1976,
  Volume  = 19,
  Number  = 3,
  Pages   = "137--147"
}

@InProceedings{LOPSTR:SKH02,
  Author    = "A. Simon and A. King and J.M. Howe",
  Title     = "Two Variables per Linear Inequality as an Abstract Domain",
  Booktitle = lopstr,
  Year      = "2002",
  Pages     = "71--89"
}
   
@InProceedings{PLDI:BLQHU03,
  Author    = "M. Berndl and O. Lhot{\'a}k and F. Qian and L.J. Hendren and N. Umanee",
  Title     = "Points-To Analysis Using {BDDs}",
  Booktitle = pldi,
  Year      = "2003",
  Pages     = "103--114"
}

@misc{wpds,
  author = "S. Schwoon",
  title = {{WPDS}: {A} Library for Weighted Pushdown Systems},
  year = 2003,
  note = "www.fmi.uni-stuttgart.de/szs/tools/wpds/"
}

@misc{wpds++,
  author = "N. Kidd and T. Reps and D. Melski and A. Lal",
  title  = "{WPDS++}: {A} {C++} Library for Weighted Pushdown Systems",
  year   = 2004,
  note   = "www.cs.wisc.edu/wpis/wpds/download.php",
  key    = "wpds++"
}

@misc{wali,
  author = "N. Kidd and A. Lal and T. Reps",
  title  = "{WALi}: {T}he {W}eighted {A}utomaton {L}ibrary",
  year   = 2007,
  note   = "www.cs.wisc.edu/wpis/wpds/download.php",
  key    = "wali"
}

@TECHREPORT{advancedquerying,
    Author = {N. Kidd and A. Lal and T. Reps},
    Title = {Advanced Querying for Property Checking},
    Institution = "University of Wisconsin, Madison",
    Number = {TR-1624},
    Month = {Oct},
    year = {2007},
}

@PHDTHESIS{Thesis:Jeannet00,
  Author  = "B. Jeannet",
  Title   = "Partitionnement Dynamique dans l'Analyse de Relations Lin{\'e}aires et Application {\`a} la V{\'e}fication de Programmes Synchrones",
  School  = "Institut National Polytechnique de Grenoble",
  Year    = 2000,
  Address = "Grenoble, France",
  Note    = "(In {F}rench)"
}

@TECHREPORT{INRIA-RR:JS03,
  Author      = "B. Jeannet and W. Serwe",
  Title       = "Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs",
  Institution = "INRIA",
  Address     = "Rennes, France",
  Type        = "Res. Rep.",
  Number      = "RR-4904",
  Month       = jul,
  Year        = 2003
}

@InProceedings{SoftMC:YS03,
  Author    = "E. Yahav and M. Sagiv",
  Title     = "Automatically Verifying Concurrent Queue Algorithms",
  Booktitle = softmc,
  Year      = 2003
}

@InProceedings{YCS:Gerth91,
  Author    = "R. Gerth",
  Title     = "Formal Verification of Self Modifying Code",
  Booktitle = "Proc.\ Int.\ Conf. for Young Computer Scientists",
  Editor    = "Y. Liu and X. Li",
  Year      = 1991,
  Pages     = "305--311",
  Publisher = "Int.\ Acad.\ Pub.",
  Address   = "Beijing, China"
}

@Article{SCP:RSJM05,
  Author  = "T. Reps and S. Schwoon and S. Jha and D. Melski",
  Title   = "Weighted Pushdown Systems and their Application to Interprocedural Dataflow Analysis",
  Journal = scp,
  Volume  = 58,
  Number  = "1--2",
  Month   = oct,
  Year    = 2005,
  Pages   = "206--263"
}

@inproceedings{SAS:MSRF04,
  Author    = "R. Manevich and M. Sagiv and G. Ramalingam and J. Field",
  Title     = "Partially Disjunctive Heap Abstraction",
  Booktitle = sas,
  Series    = lncs,
  Volume    = "3148",
  Publisher = spv,
  Year      = "2004"
}

@TechReport{UW-TR-1516:GRS04,
  Author      = "D. Gopan and T. Reps and M. Sagiv", 
  Title       = "Numeric Analysis of Array Operations", 
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Type        = "Tech. Rep.",
  Number      = "1516",
  Month       = sep,
  Year        = 2004
}

@Article{TOPLAS:Hennessy82,
  Author    = "J.L. Hennessy",
  Title     = "Symbolic Debugging of Optimized Code",
  Journal   = toplas,
  Year      = 1982,
  Volume    = 4,
  Number    = 3,
  Pages     = "323--344"
}

@InProceedings{ICSE:DAC99,
  author =       "M. Dwyer and G. Avrunin and J. Corbett",
  title =        "Patterns in Property Specifications for Finite-State Verification",
  booktitle =    icse,
  year =         1999
}

@InProceedings{SPIN:LME04,
  author    =  "P. Leven and T. Mehler and S. Edelkamp",
  title     =  "Directed Error Detection in {C++} with the Assembly-Level Model Checker {StEAM}",
  booktitle =    spin,
  year      =         2004
}

@InProceedings{CAV:LRB05,
  Author    = "A. Lal and T. Reps and G. Balakrishnan",
  Title     = "Extended Weighted Pushdown Systems",
  Booktitle = cav,
  Year      = 2005
}

@InProceedings{CAV:LRS05,
  Author    = "A. Loginov and T. Reps and M. Sagiv",
  Title     = "Abstraction Refinement Via Inductive Learning",
  Booktitle = cav,
  Year      = 2005
}

@InProceedings{ESOP:MOS05,
  Author    = "M. M{\"u}ller-Olm and H. Seidl",
  title =       "Analysis of Modular Arithmetic",
  booktitle =   esop,
  year =        2005
}

@InProceedings{POPL:GRS05,
  Author    = "D. Gopan and T. Reps and M. Sagiv",
  Title     = "A Framework for Numeric Analysis of Array Operations",
  Booktitle = popl,
  Year      = 2005,
  Pages     = "338--350"
}

@article{ActaInf:HR91,
    author = "S. Horwitz and T.W. Reps",
    title = "Efficient Comparison of Program Slices",
    journal = acta,
    volume = "28",
    number = "8",
    pages = "713--732",
    year = "1991",
}

@InProceedings{CAV:RSW04,
    Author ="T. Reps and M. Sagiv and R. Wilhelm",
    Title = "Static Program Analysis via 3-Valued Logic",
    Booktitle = cav,
    Year = 2004,
    Pages = "15--30"
}

@InProceedings{ICYCS:Gerth91,
    Author ="R. Gerth",
    Title = "Formal Verification of Self Modifying Code",
    Booktitle = "Proc.\ Int.\ Conf.\ for Young Computer Scientists",
    Year = 1991,
    Pages = "305--313"
}

@Article{SCP:CLLM,
  Author    = "C. Consel and J.L. Lawall and A.-F. Le~Meur",
  Title     = "A Tour of {Tempo}: {A} Program Specializer for the {C} Language",
  Journal   = scp,
  Year      = 2004,
  Pages     = "341--370"
}

@InProceedings{SAS:CMS03,
  Author    = "A.S. Christensen and A. M{\o}ller and M.I. Schwartzbach",
  Title     = "Precise Analysis of String Expressions",
  Booktitle = sas,
  Year      = 2003,
  Pages     = "1--18"
}

@Article{TOSEM:MRR05,
  Author    = "A. Milanova and A. Rountev and B.G. Ryder",
  Title     = "Parameterized Object Sensitivity for Points-To Analysis for {Java} ",
  Journal   = tosem,
  Year      = 2005,
  Volume    = 14,
  Number    = 1,
  Pages     = "1--41"
}

@InProceedings{CGO:GuoEtAl05,
  Author    = "B. Guo and M.J. Bridges and S. Triantafyllis and G. Ottoni and E. Raman and D.I. August",
  Title     = "Practical and Accurate Low-Level Pointer Analysis",
  Booktitle = "3nd Int.\ Symp.\ on Code Gen.\ and Opt.",
  Year      = 2005,
  Pages     = "291--302"
}

@InProceedings{SAS:JLRS04,
  Author    = "B. Jeannet and A. Loginov and T. Reps and M. Sagiv",
  Title     = "A Relational Approach to Interprocedural Shape Analysis",
  Booktitle = sas,
  Year      = 2004,
}

@InProceedings{SAS:JGR05,
  Author    = "B. Jeannet and D. Gopan and T. Reps",
  Title     = "A Relational Abstraction for Functions",
  Booktitle = sas,
  Year      = 2005,
}

@InProceedings{POPL:RBRSW05,
  Author    = "N. Rinetzky and J. Bauer and T. Reps and M. Sagiv and R. Wilhelm",
  Title     = "A Semantics for Procedure Local Heaps and its Abstractions",
  Booktitle = popl,
  Year      = 2005,
}

@Book{Book:MP95,
  Author = "Z. Manna and A. Pnueli",
  Title = "Temporal Verification of Reactive Systems: Safety",
  Publisher = spv,
  Year =1995
}

@InProceedings{POPL:HR05,
  Author    = "B. Hackett and R. Rugina",
  Title     = "Region-Based Shape Analysis with Tracked Locations",
  Booktitle = popl,
  Year      = 2005,
  Pages     = "310--323"
}

@InProceedings{POPL:EHMNST99,
  Author    = "P.H. Eidorff and F. Henglein and C. Mossin and H. Niss and M.H. S{\o}rensen and M. Tofte",
  Title     = "{Anno Domini}: {F}rom Type Theory to Year 2000 Conversion Tool",
  Booktitle = popl,
  Year      = 1999,
  Pages     = "1--14"
}

@InProceedings{PASTE:CR99,
  author    = "S. Chandra and T. Reps",
  title     = "Physical type checking for {C}",
  booktitle = paste,
  year      = 1999,
  pages    = "66--75"
}

@InProceedings{SAS:PR96,
  author = "H. Pande and B. Ryder",
  title = "Data-Flow-Based Virtual Function Resolution",
  booktitle = sas,
  year = 1996,
  pages = "238--254",
}

@InProceedings{PLDI:Boehm05,
  author    = "H.-J. Boehm",
  title     = "Threads Cannot Be Implemented as a Library",
  booktitle = pldi,
  year      = 2005,
  pages     = "261--268",
}

@InProceedings{DAC:CHR00,
  author    = "D.W. Currie and A.J. Hu and S. Rajan",
  title     = "Automatic Formal Verification of {DSP} Software",
  booktitle = dac,
  year      = 2000
}

@InProceedings{LCTES:FH02,
  author    = "X. Feng and A.J. Hu",
  title     = "Automatic Formal Verification for Scheduled {VLIW} Code",
  booktitle = "{LCTES/SCOPES}",
  year      = 2002
}

@InProceedings{PLDI:Necula00,
  author    = "G.C. Necula",
  title     = "Translation Validation for an Optimizing Compiler",
  booktitle = pldi,
  year      = 2000
}

@InProceedings{TACAS:PSS98,
  author    = "A. Pnueli and M. Siegel and E. Singerman",
  title     = "Translation Validation",
  booktitle = tacas,
  year      = 1998
}

@PHDTHESIS {Thesis:Zellweger84,
  Author = "P.T. Zellweger",
  Title  = "Interactive Source-Level Debugging of Optimized Programs",
  School = "Univ. of California, Berkeley",
  Year = 1984
}

@InProceedings{PLDI:CMR88,
  author    = "D.S. Coutant and S. Meloy and M. Ruscetta",
  title     = "{DOC}: {A} Practical Approach to Source-Level Debugging of Globally Optimized Code",
  booktitle = pldi,
  year      = 1988
}

@InProceedings{VSTTE:BRMT07,
  author    = "G. Balakrishnan and T. Reps and D. Melski and T. Teitelbaum",
  title     = "{WYSINWYX: What You See Is Not What You eXecute}",
  booktitle = vstte,
  year      = 2007
}

@InProceedings{APLAS:RBLT05,
  author    = "T. Reps and G. Balakrishnan and J. Lim and T. Teitelbaum",
  title     = "A Next-Generation Platform for Analyzing Executables",
  booktitle = aplas,
  year      = 2005
}

@TechReport{UWCS-1548:BR05,
  Author      = "G. Balakrishnan and T. Reps",
  Title       = "Recency-Abstraction for Heap-Allocated Storage",
  Institution = "UW-Madison",
  Type        = {TR},
  number      = "1548",
  Month       = dec,
  Year        = "2005"
}

@InProceedings{PEPM:RBL06,
  author    = "T. Reps and G. Balakrishnan and J. Lim",
  title     = "Intermediate-Representation Recovery from Low-Level Code",
  booktitle = pepm,
  year      = 2006
}

@InProceedings{PASTE:Hind01,
  author    = "M. Hind",
  title     = "Pointer Analysis: {H}aven't We Solved This Problem Yet?",
  booktitle = paste,
  year      = 2001
}

@InProceedings{SAS:BR06,
  Author    = "G. Balakrishnan and T. Reps",
  Title     = "Recency-Abstraction for Heap-Allocated Storage",
  Booktitle = sas,
  Year      = 2006
}

@InProceedings{VMCAI:BR07,
  Author  = "G. Balakrishnan and T. Reps",
  Title   = "{DIVINE: DIscovering Variables IN Executables}",
  Booktitle = vmcai,
  Year    = 2007,
}

@Article{JALG:FK03,
  Author  = "A. Fiat and H. Kaplan",
  Title   = "Making Data Structures Confluently Persistent",
  Journal = jalg,
  Year    = 2003,
  Volume  = 48,
  Pages   = "16--58"
}

@Misc{Agreement:UW-GT:05,
  title = "{Collaborative Research Agreement between GrammaTech, the University of Wisconsin-Madison, and certain students/other individuals associated with the University of Wisconsin}",
  note = "Executed Nov.\ 16, 2005.",
  key  = "collaborative research agreement"
}

@InProceedings{POPL:HU73,
   Author    = "M.S. Hecht and J.D. Ullman",
   Title     = "Analysis of a Simple Algorithm for Global Flow Problems",
   Booktitle = popl,
   Year      = 1973,
   Pages     = "207--217"
}

@Book{Book:Muchnick97,
  Title     = "Advanced Compiler Design and Implementation",
  Author    = "S. Muchnick",
  Year      = 1997,
  Publisher = "Morgan Kaufmann"
}

@Book{Book:Hecht77,
  Title     = "Flow Analysis of Computer Programs",
  Author    = "M.S. Hecht",
  Year      = 1977,
  Publisher = "Elsevier Science Ltd."
}

@Article{SA:Jackson06,
  Author  = "D. Jackson",
  Title   = "Dependable Software by Design",
  Journal = "Scientific American",
  Year    = 20063,
  Month   = June
}

@InProceedings{SAS:LRS06,
  Author    = "A. Loginov and T. Reps and M. Sagiv",
  Title     = "Automated Verification of the {Deutsch-Schorr-Waite} Tree-Traversal Algorithm",
  Booktitle = sas,
  Year      = 2006
}

@InProceedings{CAV:LR06,
  Author    = "A. Lal and T. Reps",
  Title     = "Improving Pushdown System Model Checking",
  Booktitle = cav,
  Year      = 2006
}

@InProceedings{CAV:GR06,
  Author    = "D. Gopan and T. Reps",
  Title     = "Lookahead Widening",
  Booktitle = cav,
  Year      = 2006
}

@InProceedings{ICSE:oCJ97,
  Author    = "R. O'Callahan and D. Jackson",
  Title     = "Lackwit: {A} Program Understanding Tool Based on Type Inference",
  Booktitle = icse,
  Year      = 1997
}

@InProceedings{FSE:SR96,
  Author    = "M. Siff and T.W. Reps",
  Title     = "Program Generalization for Software Reuse: {F}rom {C} to {C++}",
  Booktitle = fse,
  Year      = 1996
}

@InProceedings{WCRE:vDM98,
  Author    = "A. van Deursen and L. Moonen",
  Title     = "Type Inference for {COBOL} Systems",
  Booktitle = wcre,
  Year      = 1998
}

@InProceedings{LCTES:Mine06,
  Author    = "A. Min{\'e}",
  Title     = "Field-Sensitive Value Analysis of Embedded {C} Programs with Union Types and Pointer Arithmetics",
  Booktitle = lctes,
  Year      = 2006
}

@InProceedings{PLDI:GKS05,
  Author    = "P. Godefroid and N. Klarlund and K. Sen",
  Title     = "{DART}: {D}irected Automated Random Testing",
  Booktitle = pldi,
  Year      = 2005
}

@InProceedings{FSE:SMA05,
  Author    = "K. Sen and D. Marinov and G. Agha",
  Title     = "{CUTE}: {A} Concolic Unit Testing Engine for {C}",
  Booktitle = fse,
  Year      = 2005
}

@InProceedings{PSDE:RT84,
  Author    = "T. Reps and T. Teitelbaum",
  Title     = "The {S}ynthesizer {G}enerator",
  Booktitle = "Proc.\ Softw.\ Eng.\ Symp.\ on Practical Software Development Environments",
  Year      = 1984,
  Pages     = "42--48"
}

@Book{BOOK:RT88a,
  Author    = "T. Reps and T. Teitelbaum",
  Title     = "The {S}ynthesizer {G}enerator: {A} System for Constructing Language-Based Editors",
  Publisher = spv,
  Year      = "1988"
}

@Book{BOOK:RT89b,
  Author    = "T. Reps and T. Teitelbaum",
  Title     = "The {S}ynthesizer {G}enerator Reference Manual",
  Publisher = spv,
  Year      = "1988"
}


@Article{COA:FT04,
  Author  = "B. Fortz and M. Thorup",
  Title   = "Increasing {I}nternet Capacity Using Local Search",
  Journal = "Comp.\ Opt.\ and Applications",
  Volume  = 29,
  Number  = 1,
  Year    = 2004,
  Pages   = "13--48"
}

@InProceedings{PLDI:HRB04,
  Author    = "S. Horwitz and T. Reps and D. Binkley",
  Title     = "Retrospective: {I}nterprocedural Slicing Using Dependence Graphs.",
  Booktitle = "20 Years of the ACM SIGPLAN Conf.\ on Prog.\ Lang.\ Design and Impl. (1979--1999): {A} Selection",
  Year      = 2004,
  Pages     = "229--231"
}

@Article{TSE:SR99,
  Author  = "M. Siff and T. Reps",
  Title   = "Identifying Modules Via Concept Analysis",
  Journal = tse,
  Volume  = 25,
  Number  = 6,
  Year    = 1999,
  Pages   = "749--768"
}

@InProceedings{FSE:SCBKR99,
  Author    = "M. Siff and S. Chandra and T. Ball and K. Kunchithapadam and T. Reps",
  Title     = "Coping with Type Casts in {C}",
  Booktitle = fse,
  Year      = 1999,
  Pages     = "180--198"
}

@InProceedings{FSE:RBDL97,
  Author    = "T. Reps and T. Ball and M. Das and J. Larus",
  Title     = "The Use of Program Profiling for Software Maintenance with Applications to the {Year 2000 Problem}",
  Booktitle = fse,
  Year      = 1997,
  Pages     = "432--449"
}

@InProceedings{POPL:RR94,
  Author    = "G. Ramalingam and T. Reps",
  Title     = "An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph",
  Booktitle = popl,
  Year      = 1994,
  Pages     = "287--296"
}

@Article{IPL:RR94,
  Author  = "G. Ramalingam and T. Reps",
  Title   = "On Competitive On-Line Algorithms for the Dynamic Priority-Ordering Problem",
  Journal = ipl,
  Volume  = 51,
  Year    = 1994,
  Pages   = "155--161"
}

@Article{TCS:RR96,
  Author  = "G. Ramalingam and T. Reps",
  Title   = "On the Computational Complexity of Dynamic Graph Problems",
  Journal = tcs,
  Volume  = 158,
  Year    = 1996,
  Pages   = "233--277"
}

@InProceedings{POPL:RMT86,
    author = "T. Reps and C. Marceau and T. Teitelbaum",
    title = "Remote Attribute Updating for Language-Based Editors",
    booktitle = popl,
    year = "1986"
}	

@Article{ActaInf:R88,
  Author  = "T. Reps",
  Title   = "Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications",
  Journal = acta,
  Volume  = 25,
  Year    = 1988,
  Pages   = "155--178"
}

@InProceedings{POPL:RA84,
  Author    = "T. Reps and B. Alpern" ,
  Title     = "Interactive Proof Checking" ,
  Booktitle = popl,
  Year      = 1984,
  Pages     = "36--45"
}

@Misc{Thesis:Cousot78,
  Author   = "P. Cousot",
  Title    = "M\'{e}thodes It\'{e}ratives de Construction et d'Approximation de Point Fixes d'Op\'{e}rateurs Monotones sur un Treillis, Analyse S\'{e}mantique des Programmes",
  Note     = "Th\`{e}se \`{e}s sciences math\'{e}matiques, Univ.\ of Grenoble, 1978"
}

@InProceedings{PADO:Masse01,
  Author    = "D. Mass\'{e}",
  Title     = "Combining Forward and Backward Analyses of Temporal Properties",
  Booktitle = "{PADO}",
  Year      = 2001
}

@Inproceedings{AMAST:JS04,
  author    = "B. Jeannet and W. Serwe",
  title     = "Abstracting Call-Stacks for Interprocedural Verification
               of Imperative Programs",
  booktitle = "{AMAST}",
  year      = 2004
}

@TechReport{UW-TR-840:YHR89,
  Author      = "W. Yang and S. Horwitz and T. Reps",
  Title       = "Detecting Program Components with Equivalent Behaviors",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "Tech. Rep.",
  Number      = "TR-840",
  Month       = apr,
  Year        = 1989
}

@TechReport{CA-7002-1432:SS70,
  Author      = "R.M. Shapiro and H. Saint",
  Title       = "The Representation of Algorithms",
  Institution = "Massachusetts Computer Associates",
  Type        = "Tech. Rep.",
  Number      = "CA-7002-1432",
  Month       = feb,
  Year        = 1970
}

@InProceedings{POPL:AWZ88,
  Author    = "B. Alpern and M.N. Wegman and F.K. Zadeck",
  Title     = "Detecting Equality of Variables in Programs",
  Booktitle = popl,
  Year      = 1988,
  Pages     = "1--11"
}

@InProceedings{POPL:RWZ88,
  Author    = "B. Rosen and M.N. Wegman and F.K. Zadeck",
  Title     = "Global Value Numbers and Redundant Computations",
  Booktitle = popl,
  Year      = 1988,
  Pages     = "12--27"
}

@Article{TOSEM:YHR92,
  Author  = "W. Yang and S. Horwitz and T. Reps",
  Title   = "A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations",
  Journal = tosem,
  Volume  = 1,
  Number  = 3,
  Pages   = "310--354",
  Month   = jul,
  Year    = 1992
}

@InProceedings{POPL:HPR88b,
  Author    = "S. Horwitz and J. Prins and T. Reps",
  Title     = "On the Adequacy of Program Dependence Graphs for Representing Programs",
  Booktitle = popl,
  Year      = 1988,
  Pages     = "146--157"
}

@InProceedings{POPL:Selke89,
  Author    = "R.P. Selke",
  Title     = "A Rewriting Semantics for Program Dependence Graphs",
  Booktitle = popl,
  Year      = 1989,
  Pages     = "12--24"
}

@InProceedings{PLDI:CF89,
  Author    = "R. Cartwright and M. Felleisen",
  Title     = "The Semantics of Program Dependence",
  Booktitle = pldi,
  Year      = 1989,
  Pages     = "13--27"
}

@InProceedings{IFIP:Kahn74,
  Author    = "G. Kahn",
  Title     = "The Semantics of Simple Language for Parallel Programming",
  Booktitle = {IFIP Congress},
  Year      = 1974,
  Pages     = "471--475"
}

@InProceedings{CCIPL:RY89,
  Author    = "T. Reps and W. Yang",
  Title     = "The Semantics of Program Slicing and Program Integration",
  Booktitle = "Proc.\ Colloq.\ on Current Issues in Prog.\ Lang.",
  Year      = 1989,
  Pages     = "360--374"
}

@PhdThesis{Thesis:Yang90,
  Author  = "W. Yang",
  Title   = "A New Algorithm for Semantics-Based Program Integration",
  School  = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address = "Madison, WI",
  Note    = "Tech. Rep. TR-962",
  Month   = aug,
  Year    = 1990
}

@Article{TSE:KMC72,
  Author  = "D.J. Kuck and Y. Muraoka and S.C. Chen",
  Title   = "On the Number of Operations Simultaneously Executable in {FORTRAN}-Like Programs and their Resulting Speed-Up",
  Journal = "IEEE Trans. on Computers",
  Volume  = "C-21",
  Number  = 12,
  Month   = dec,
  Year    = 1972,
  Pages   = "1293--1310"
}

@inproceedings{PLDI:OBM90,
  Author    = "K.J. Ottenstein and R.A. Ballance and A.B. MacCabe",
  title     = "The Program Dependence Web: {A} Representation Supporting Control-, Data-, and Demand-Driven Interpretation of Imperative Languages",
  booktitle = pldi,
  year      = 1990,
  pages     = "257--271"
 }

@inproceedings{ALCPP:PBJMS91,
    author = "K. Pingali and M. Beck and R. Johnson and M. Moudgill and P. Stodghill",
    title = "Dependence Flow Graphs: {A}n Algebraic Approach to Program Dependencies",
    booktitle = "Advances in Languages and Compilers for Parallel Processing",
    publisher = {M.I.T. Press},
    pages = "445--467",
    year = 1991,
}

@inproceedings{POPL:WCES94,
    author = "D. Weise and R.F. Crew and M. Ernst and B. Steensgaard",
    title = "Value Dependence Graphs: {R}epresentation Without Taxation",
    booktitle = popl,
    pages = "297--310",
    year = 1994,
}

@InProceedings{FSE:RRL99,
  Author    = "A. Rountev and B.G. Ryder and W. Landi",
  Title     = "Data-Flow Analysis of Program Fragments",
  Booktitle = fse,
  Year      = 1999
}

@InProceedings{CC:RR01,
  Author    = "A. Rountev and B.G. Ryder",
  Title     = "Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries",
  Booktitle = cc,
  Year      = 2001
}

@InProceedings{POPL:XA05,
  Author    = "Y. Xie and A. Aiken",
  Title     = "Scalable Error Detection Using {B}oolean Satisfiability",
  Booktitle = popl,
  Year      = 2005
}

@Article{TSE:HR96,
  Author  = "M.J. Harrold and G. Rothermel",
  Title   = "Separate Computation of Alias Information for Reuse",
  Journal = tse,
  Volume  = 22,
  Number  = 7,
  Year    = 1996
}

@InProceedings{VMCAI:LSIR07,
  author =       "T. Lev-Ami and M. Sagiv and N. Immerman and T. Reps",
  title =        "Shape Analysis of Uniform Change",
  booktitle =    vmcai,
  year =         2007
}

@InProceedings{CAV:LIS06,
  author =       "T. Lev-Ami and N. Immerman and M. Sagiv",
  title =        "Abstraction for Shape Analysis with Fast and Precise Transformers",
  booktitle =    cav,
  year =         2006
}

@Inproceedings{ESOP:LJPL06,
  Author      = "A. Lal and J. Lim and M. Polishchuk and B. Liblit",
  Title       = "Path Optimization in Programs and its Application to Debugging",
  Booktitle   = esop,
  YEAR        = 2006
}

@inproceedings{POPL:GN05,
  Author    = "S. Gulwani and G.C. Necula",
  Title     = "Precise Interprocedural Analysis Using Random Interpretation",
  Booktitle = popl,
  Year      = "2005",
}

@inproceedings{SAS:MOS05,
  author    = "M. M{\"u}ller-Olm and H. Seidl",
  title     = "A Generic Framework for Interprocedural Analysis of Numerical Properties",
  booktitle = sas,
  year      = "2005"
}

@inproceedings{STOC:MOS01,
  author    = "M. M{\"u}ller-Olm and H. Seidl",
  title     = "On Optimal Slicing of Parallel Programs",
  booktitle = stoc,
  year      = "2001"
}

@misc{URL:Bison,
  title = "Bison -- {GNU} Parser Generator",
  note = "www.gnu.org/software/bison/",
  institution = {GNU Project}
}

@misc{URL:Flex,
  title = "Flex: The Fast Lexical Analyzer",
  note = "flex.sourceforge.net/"
}

@TechReport{BellLabs-TR39:L75,
  Author      = "S.C. Johnson",
  Title       = "{LEX} -- {A} Lexical Analyzer Generator",
  Institution = "Bell Laboratories",
  Year        = 1975,
  Number      = "Comp.\ Sci.\ Tech.\ Rep.\ 39"
}

@TechReport{BellLabs-TR32:J75,
  Author      = "S.C. Johnson",
  Title       = "{YACC}: {Y}et Another Compiler-Compiler",
  Institution = "Bell Laboratories",
  Year        = 1975,
  Number      = "Comp.\ Sci.\ Tech.\ Rep.\ 32"
}

@inproceedings{SAS:KA05,
  author    = "J. Kodumal and A. Aiken",
  title     = "Banshee: {A} Scalable Constraint-Based Analysis Toolkit",
  booktitle = sas,
  year      = 2005
}

@article{STTT:M98,
  author    = "F. Martin",
  title     = "{PAG} -- {A}n Efficient Program Analyzer Generator",
  journal   = sttt,
  year      = 1998
}

@inproceedings{APLAS:WACL05,
  author    = "J. Whaley and D. Avots and M. Carbin and M.S. Lam",
  title     = "Using {D}atalog with {B}inary {D}ecision {D}iagrams for Program Analysis",
  booktitle = aplas,
  year      = 2005
}

@PhdThesis{Thesis:Gopan07,
  Author  = "D. Gopan",
  Title   = "Numeric program analysis techniques with applications to array analysis and library summarization",
  Note    = "Tech.\ Rep.\ 1602",
  School  = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address = "Madison, WI",
  Month   = aug,
  Year    = 2007

}

@PhdThesis{Thesis:Balakrishnan07,
  Author  = "G. Balakrishnan",
  Title   = "{WYSINWYX: What You See Is Not What You eXecute}",
  Note    = "Tech.\ Rep.\ 1603",
  School  = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address = "Madison, WI",
  Month   = aug,
  Year    = 2007
}

@TechReport{UW-TR-1598:LRKR07,
  Author      = "A. Lal and T. Touili and N. Kidd and T. Reps",
  Title       = "Interprocedural Analysis of Concurrent Programs Under a Context Bound",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "Tech. Rep.",
  Number      = "TR-1598",
  Month       = jul,
  Year        = "2007"
}

@inproceedings{SPIN:CA07,
  Author = "S. Chaudhuri and R. Alur",
  Booktitle = spin,
  Title = "Instrumenting {C} Programs with Nested Word Monitors",
  Year = 2007
}

@inproceedings{DLT:AM2006,
  Author = "R. Alur and P. Madhusudan",
  Booktitle = dlt,
  Title = "Adding Nesting Structure to Words",
  Year = 2006
}

@Article {JACM:AM2009,
	Author = "R. Alur and P. Madhusudan",
	Title = "Adding Nesting Structure to Words",
	Journal = jacm,
	Volume = 56,
	Number =  3,
	Month = may,
	Year = 2009}

@inproceedings{SPIN:BR01,
  Author = "T. Ball and S.K. Rajamani",
  Booktitle = spin,
  Title = "Automatically Validating Temporal Safety Properties of Interfaces",
  Year = 2001
}

@inproceedings{ICSE:CCGJV03,
  Author = "S. Chaki and E. Clarke and A. Groce and S. Jha and H. Veith",
  Booktitle = icse,
  Title = "Modular Verification of Software Components in {C}",
  Year = 2003
}

@InProceedings{TACAS:QR05,
   author      = "S. Qadeer and J. Rehof",
   title    = "Context-Bounded Model Checking of Concurrent Software", 
   booktitle   = tacas,
   year     = 2005
}

@inproceedings{PLDI:MQ07,
  author    = "M. Musuvathi and S. Qadeer",
  title     = "Iterative Context Bounding for Systematic Testing of Multithreaded Programs",
  booktitle = pldi,
  year      = 2007
}

@Article{JCSS:GH67,
  Author  = "S. Ginsburg and M.A. Harrison",
  Title   = "Bracketed Context-Free Languages",
  Journal = jcss,
  Volume  = 1,
  Number  = 1,
  Year    = 1967,
  Pages   = "1--23"
}

@inproceedings{FSTTCS:RLK07,
  author    = "T. Reps and A. Lal and N. Kidd",
  title     = "Program Analysis Using Weighted Pushdown Systems",
  booktitle = fsttcs,
  year      = 2007
}

@inproceedings{SAS:DDY06,
  author    = "D. Dhurjati and M. Das and Y. Yang",
  title     = "Path-Sensitive Dataflow Analysis with Iterative Refinement",
  booktitle = sas,
  year      = 2006,
  pages     = "425--442"
}

@inproceedings{POPL:HJMM04,
 author = "T.A. Henzinger and R. Jhala and R. Majumdar and K. L. McMillan",
 title = "Abstractions from Proofs",
 booktitle = popl,
 year = 2004,
 pages = "232--244"
 }

@InProceedings{FSE:FJM05,
  author    = "J. Fischer and R. Jhala and R. Majumdar",
  title     = "Joining Dataflow with Predicates",
  booktitle = fse,
  year      = 2005
}

@Unpublished{DDA-x86-Submission:BR07,
  Author = "G. Balakrishnan and T. Reps",
  Title  = "Analyzing Device-Driver Executables",
  Year   = 2007,
  Note   = "Submitted for publication"
}

@InProceedings{COMPSAC:ZZP07,
  author    = "J. Zhang and R. Zhao and J. Pang",
  title     = "Parameter and Return-Value Analysis of Binary Executables",
  booktitle = compsac,
  year      = 2007
}

@InProceedings{ICIS:FZPZ08,
  author    = "W. Fu and R. Zhao and J. Pang and J. Zhang",
  title     = "Recovering Variable-Argument Functions from Binary Executables",
  booktitle = icis,
  year      = 2008
}

@InProceedings{PDPTA:dSdBdBKD00,
  author    = "B. {De Sutter} and B. {De Bus} and K. {De Bosschere} and P. Keyngnaert and B. Demoen",
  title     = "On the Static Analysis of Indirect Control Transfers in Binaries",
  booktitle = "Par.\ and Dist.\ Proc.\ Tech.\ and Appl.",
  year      = 2000
}

@InProceedings{TECS:RRW05,
  author    = "J. Regehr and A. Reid and K. Webb",
  title     = "Eliminating Stack Overflow by Abstract Interpretation ",
  booktitle = "ACM Trans.\ on Embedded Comp.\ Systs.",
  year      = 2005,
  pages     = "751--778"
}

@Misc{WWW:DefraudingWHQL,
  title = "Defrauding the {WHQL} Driver Certification Process",
  month = mar,
  year  = 2004,
  note  = "blogs.msdn.com/oldnewthing/archive/2004/03/05/84469.aspx",
  key   = "whql"
}

@Misc{WWW:KernelDriversInC++,
  title = "{C++} for Kernel Mode Drivers: {P}ros and cons",
  month = feb,
  year  = 2007,
  note  = "WHDC web site, www.microsoft.com/whdc/driver/kernel/KMcode.mspx",
  key   = "whdc"
}

@Misc{PersonalComm:SdvMakeChoice,
  author = "T. Ball",
  title = "Personal Communication",
  month = feb,
  year = 2006
}

@Article{TSE:HR81,
  Author  = "L.H. Holley and B.K. Rosen",
  Title   = "Qualified Data Flow Problems",
  Journal = tse,
  Volume  = 7,
  Number  = 1,
  Pages   = "60--78",
  Year    = 1981
}

@Book{Book:NN92,
  author = "F. Nielson and H.R. Nielson",
  title = "Two-Level Functional Languages",
  publisher = "Cambridge Univ.\ Press",
  year = "1992"
}

@InCollection{HLCS4:JN95, 
  author =       "N.D. Jones and F. Nielson",
  title =        "Abstract Interpretation: {A} Semantics-Based Tool 
                  for Program Analysis",
  booktitle =    "Handbook of Logic in Computer Science",
  publisher =    "Oxford Univ.\ Press",
  year =         1995,
  editor =       "S. Abramsky and D.M. Gabbay and T.S.E. Maibaum",
  volume =       4,
  pages =        "527--636"
}

@InProceedings{CAV:BLARS07,
  Author    = "I. Bogudlov and T. Lev-Ami and T. Reps and M. Sagiv",
  Title     = "Revamping {TVLA}: {M}aking Parametric Shape Analysis Competitive (Tool Paper)",
  Booktitle = cav,
  Year      = 2007
}

@TechReport{TAU-TR-2007-01-01:BLARS07,
  Author      = "I. Bogudlov and T. Lev-Ami and T. Reps and M. Sagiv",
  Title       = "Revamping {TVLA}: {M}aking Parametric Shape Analysis Competitive",
  Institution = "Tel-Aviv Univ.",
  Address     = "Tel-Aviv, Israel",
  Type        = "Tech. Rep.",
  Number      = "TR-2007-01-01",
  Year        = "2007"
}

@InProceedings{ICSHDL:HMC94,
  author = "E. Harcourt and J. Mauney and T. Cook",
  title  = "Functional Specification and Simulation of Instruction Set Architectures",
  booktitle = "Proc.\ Int.\ Conf.\ on Sim.\ and Hardw.\ Desc.\ Langs.",
  publisher = "SCS Press",
  year = 1994
}


@InProceedings{ACSAC:CFBV06,
  author    = "M. Cova and V. Felmetsger and G. Banks and G. Vigna",
  title     = "Static Detection of Vulnerabilities in x86 Executables",
  booktitle = acsac,
  year      = 2006
}

@InProceedings{USS:KKMRV05,
  author    = "C. Kruegel and E. Kirda and D. Mutz and W. Robertson and G. Vigna",
  title     = "Automating Mimicry Attacks Using Static Binary Analysis",
  booktitle = uss,
  year      = 2005
}

@TechReport{CMU-CS-06-180:BN06,
  Author      = "D. Brumley and J. Newsome",
  Title       = "Alias Analysis for Assembly",
  Institution = "School of Comp.\ Sci., Carnegie Mellon University",
  Address     = "Pittsburgh, PA",
  Type        = "Tech. Rep.",
  Number      = "CMU-CS-06-180",
  Month       = dec,
  Year        = 2006
}

@inproceedings{POPL:NGC08,
 author    = "M. Nita and D. Grossman and C. Chambers",
 title     = "A Theory of Platform-Dependent Low-Level Software",
 booktitle = popl,
 year      = 2008
 }

@inproceedings{SAS:CHN06,
 author    = "B.-Y. Chang and M. Harren and G.C. Necula",
 title     = "Analysis of Low-Level Code Using Cooperating Decompilers",
 booktitle = sas,
 year      = 2006
 }

@Article{BPS2000:Prefix,
  author = 	 "W.R. Bush and J.D. Pincus and D.J. Sielaff",
  title = 	 "A Static Analyzer for Finding Dynamic Programming Errors",
  journal = 	 spe,
  year = 	 2000,
  volume =	 30,
  pages =	 "775--802"
}

@Misc{Prevent,
  title = "Coverity {P}revent",
  note  = "www.coverity.com/products/prevent\_analysis\_engine.html",
  key   = "coverity"
}

@Misc{CodeSonar,
  title = "{C}ode{S}onar, {GrammaTech, Inc.}, www.grammatech.com/products/codesonar",
  key = "codesonar"
}

@InProceedings{PLDI:RLC07,
   Author = "E.R. Scherpelz and S. Lerner and C. Chambers",
   Title = "Automatic Inference of Optimizer Flow Functions from Semantics Meanings",
   Booktitle = "PLDI",
   Year = 2007
}

@InProceedings{PLDI:SLC07,
   Author = "E.R. Scherpelz and S. Lerner and C. Chambers",
   Title = "Automatic Inference of Optimizer Flow Functions from Semantics Meanings",
   Booktitle = "PLDI",
   Year = 2007
}

@InProceedings{MannaFestschrift:Cousot03,
  author    = "P. Cousot",
  title     = "Verification by Abstract Interpretation",
  booktitle = "Verification: Theory and Practice",
  series    = lncs,
  volume    = 2772,
  year      = 2003
}

@Unpublished{WebArticle:Lomont07,
  Author = "C. Lomont",
  Title  = "An Analysis of the Excel 2007 `65535' Bug",
  Year   = 2007,
  Note   = "www.lomont.org/Math/Papers/2007/Excel2007/Excel2007Bug.pdf"
}

@misc{URL:ExcelBug-9-22-07,
  title = "Bug in {E}xcel 2007 ",
  note = "groups.google.com/group/microsoft.public.excel/browse\_thread/thread/ 2bcad1a1a4861879/2f8806d5400dfe22",
  key = "bug"
}

@InProceedings{ESOP:Mine04,
  Author    = "A. Min{\'e}",
  Title     = "Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors",
  Booktitle = esop,
  Year      = 2004
}

@InProceedings{CAV:Monniaux05,
  Author    = "D. Monniaux",
  Title     = "Compositional Analysis of Floating-Point Linear Numerical Filters",
  Booktitle = cav,
  Year      = 2005
}

@TechReport{CoRR:abs/cs/0701192,
  Author      = "D. Monniaux",
  Title       = "The Pitfalls of Verifying Floating-Point Computations",
  Institution = "Computing Research Repository",
  Address     = "arxiv.org/corr/home",
  Type        = "Tech. Rep.",
  Number      = "CoRR abs/cs/0701192",
  Year        = 2007
}

@InProceedings{SAS:Goubault01,
  Author    = "E. Goubault",
  Title     = "Static Analyses of the Precision of Floating-Point Operations",
  Booktitle = sas,
  Year      = 2001
}

@InProceedings{SAS:GP06,
  Author    = "E. Goubault and S. Putot",
  Title     = "Static Analysis of Numerical Algorithms",
  Booktitle = sas,
  Year      = 2006
}

@InProceedings{CAV:GR07,
  Author    = "D. Gopan and T. Reps",
  Title     = "Low-Level Library Analysis and Summarization",
  Booktitle = cav,
  Year      = 2007
}

@InProceedings{SAS:GR07,
  Author    = "D. Gopan and T. Reps",
  Title     = "Guided Static Analysis",
  Booktitle = sas,
  Year      = 2007
}

@Article{TCS:MO04,
  Author  = "M. M{\"u}ller-Olm",
  Title   = "Precise Interprocedural Dependence Analysis of Parallel Programs",
  Journal = tcs,
  Volume  = 31,
  Number  = 1,
  Year    = 2004,
  Pages   = "325--388"
}

@InProceedings{PLDI:NAW06,
  Author    = "M. Naik and A. Aiken and J. Whaley",
  Title     = "Effective Static Race Detection for {J}ava",
  Booktitle = pldi,
  Year      = 2006
}

@InProceedings{POPL:NA07,
  Author    = "M. Naik and A. Aiken",
  Title     = "Conditional Must Not Aliasing for Static Race Detection",
  Booktitle = popl,
  Year      = 2007
}

@InProceedings{PPoPP:WS06,
  Author    = "L. Wang and S.D. Stoller",
  Title     = "Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs",
  Booktitle = ppopp,
  Year      = 2006
}

@InProceedings{PLDI:XRH05,
  Author    = "M. Xu and R. Bodik and M.D. Hill",
  Title     = "A Serializability Violation Detector For Shared-Memory Server Programs",
  Booktitle = pldi,
  Year      = 2005
}

@InProceedings{POPL:KG07,
  Author    = "V. Kahlon and A. Gupta",
  Title     = "On the Analysis of Interacting Pushdown Systems",
  Booktitle = popl,
  Year      = 2007
}

@TechReport{UW-TR-1622:LR07,
  Author      = "J. Lim and T. Reps",
  Title       = "A System for Generating Static Analyzers for Machine Instructions",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "Tech. Rep.",
  Number      = "TR-1622",
  Month       = oct,
  Year        = "2007"
}

@Book{Book:K94,
  Author    = "R. Kurshan",
  Title     = "Computer-Aided Verification of Coordinating Processes",
  Publisher = "Princeton Univ.\ Press",
  Year      = 1994
}

@InProceedings{TACAS:LBBO01,
  author    = "Y. Lakhnech and S. Bensalem and S. Berezin and S. Owre",
  title     = "Incremental Verification by Abstraction",
  booktitle = tacas,
  year      = 2001
}

@InProceedings{TACAS:PDV01,
  author    = "C. Pasareanu and M. Dwyer and W. Visser",
  title     = "Finding Feasible Counter-examples when Model Checking {J}ava Programs",
  booktitle = tacas,
  year      = 2001
}

@inproceedings{FMCAD:DD2002,
  author    = "S. Das and D. Dill",
  title     = "Counter-Example Based Predicate Discovery in Predicate Abstraction",
  booktitle = "FMCAD",
  pages     = "19--32",
  year      = 2002
}

@Misc{Report:Lions96,
   author = "J.L. Lions",
   title  = "{ARIANE} 5, {F}light 501 Failure: {R}eport by the Inquiry Board",
   month  = jul,
   year   = 1996,
   Note   = "www.ima.umn.edu/~arnold/disasters/ariane5rep.html"
}

@InProceedings{PAC:LRS07,
  author    = "A. Loginov and T. Reps and M. Sagiv",
  title     = "Refinement-Based Verification for Possibly-Cyclic Lists",
  booktitle = "Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm",
  year      = 2007
}

@InProceedings{CAV:ARRSY07,
  author    = "D. Amit and N. Rinetzky and T. Reps and M. Sagiv and E. Yahav",
  title     = "Comparison Under Abstraction for Verifying Linearizability",
  booktitle = cav,
  year      = 2007
}

@InProceedings{CADE:LAWRS07,
  author    = "T. Lev-Ami and C. Weidenbach and T. Reps and M. Sagiv",
  title     = "Labelled Clauses",
  booktitle = cade,
  year      = 2007
}

@InProceedings{SAS:LKRT07,
  author    = "A. Lal and N. Kidd and T. Reps and T. Touili",
  title     = "Abstract Error Projection",
  booktitle = sas,
  year      = 2007
}

@InProceedings{ECOOP:AH96,
  author    = "G. Aigner and U. H{\"o}lzle",
  title     = "Eliminating Virtual Function Calls in {C++} Programs",
  booktitle = ecoop,
  year      = 1996
}

@InProceedings{CC:LR08,
  Author      = "J. Lim and T. Reps",
  Title       = "A System for Generating Static Analyzers for Machine Instructions",
  Booktitle   = cc,
  Year        = 2008
}

@InProceedings{TACAS:BR08,
  Author      = "G. Balakrishnan and T. Reps",
  Title       = "Analyzing Stripped Device-Driver Executables",
  Booktitle   = tacas,
  Year        = 2008
}

@Unpublished{UNPUB:RTV07,
  Author = "G. Ramalingam and P. Tripathi and L. Velaga", 
  Title  = "Inferring Top-Level Variables From Executables", 
  Month  = dec,
  Year   = 2007,
  Note   = "Unpublished manuscript"
}

@InProceedings{OSDI:NL96,
  Author      = "G.C. Necula and P. Lee",
  Title       = "Safe Kernel Extensions Without Run-Time Checking",
  Booktitle   = osdi,
  Year        = 1996
}

@TechReport{MIT-LCS:Rinard99,
  Author      = "M. Rinard",
  Title       = "Credible Compilers",
  Institution = "Mass.\ Inst.\ of Tech.",
  Type        = "{MIT/LCS/TR-776}",
  Month       = dec,
  Year        = 1999
}

@InProceedings{CAV:CGPPPRTY97,
  Author      = "A. Cimatti and F. Giunchiglia and P. Pecchiari and B. Pietra and J. Profeta and D. Romano and P. Traverso and B. Yu",
  Title       = "A Provably Correct Embedded Verifier for the Certification of Safety Critical Software",
  Booktitle   = cav,
  Year        = 1997
}

@Article{JLP:SF00,
  Author  = "H. Seidl and C. Fecht",
  Title   = "Interprocedural Analyses: {A} Comparison",
  Journal = jlp,
  Volume  = 43,
  Number  = 2,
  Year    = 2000,
  Pages   = "123--156"
}

@InProceedings{TACAS:ACEM05,
  Author      = "R. Alur and S. Chaudhuri and K. Etessami and P. Madhusudan",
  Title       = "On-the-Fly Reachability and Cycle Detection for Recursive State Machines",
  Booktitle   = tacas,
  Year        = 2005
}

@InProceedings{WCRE:LRL06,
  Author      = "J. Lim and T. Reps and B. Liblit",
  Title       = "Extracting Output Formats from Executables",
  Booktitle   = wcre,
  Year        = 2006
}

@InProceedings{PASTE:ABDDHH07,
  Author      = "A. Aiken and S. Bugrara and I. Dillig and T. Dillig and P. Hawkins and B. Hackett",
  Title       = "An Overview of the {S}aturn Project",
  Booktitle   = paste,
  Year        = 2007
}

@Misc{PersonalComm:AppCompatProblem,
  author = "S. Rajamani",
  title = "Personal Communication",
  month = dec,
  year = 2007
}

@InProceedings{PLDI:FG05,
  Author      = "K. Fisher and R. Gruber",
  Title       = "{PADS}: {A} Domain-Specific Language for Processing Ad Hoc Data",
  Booktitle   = pldi,
  Year        = 2005
}

@InProceedings{POPL:FMW06,
  Author      = "K. Fisher and Y. Mandelbaum and D. Walker",
  Title       = "The Next 700 Data Description Languages",
  Booktitle   = popl,
  Year        = 2006
}

@InProceedings{ETAPS:RB08,
  Author      = "T. Reps and G. Balakrishnan",
  Title       = "Improved Memory-Access Analysis for x86 Executables",
  Booktitle   = cc,
  Year        = 2008
}

@InProceedings{WCRE:SRK07,
  Author    = "S. Sinha and G. Ramalingam and R. Komondoor",
  Title     = "Parametric Process Model Inference",
  Booktitle = wcre,
  Year      = 2007
}

@InProceedings{WCRE:KR07,
  Author    = "R. Komondoor and G. Ramalingam",
  Title     = "Recovering Data Models via Guarded Dependences",
  Booktitle = wcre,
  Year      = 2007
}

@MISC{URL:DecompilationWiki,
  Title = "{The Decompilation Wiki}",
  Note  = "www.program-transformation.org/Transform/DeCompilation",
  key   = "decompilation wiki"
}

@Unpublished{UNPUB:RPJL05,
  Author = "N. Ramsey and S. {Peyton Jones} and C. Lindig",
  Title  = "The {C--\,--} Language Specification, {V}ersion 2.0",
  Year   = 2005,
  Note   = "Unpublished manuscript"
}

@Article{ENTCS:ZPFGH02,
  Author  = "L.D. Zuck and A. Pnueli and Y. Fang and B. Goldberg and Y. Hu",
  Title   = "Translation and Run-Time Validation of Optimized Code",
  Journal = entcs,
  Volume  = 70,
  Number  = 4,
  Year    = 2002
}

@Article{ENTCS:GZB05,
  Author  = "B. Goldberg and L.D. Zuck and C.W. Barrett",
  Title   = "Into the Loops: {P}ractical Issues in Translation Validation for Optimizing Compilers",
  Journal = entcs,
  Volume  = 132,
  Number  = 1,
  Year    = 2005
}

@InProceedings{SAM:Floyd67,
  Author    = "R.W. Floyd",
  Title     = "Assigning Meanings to Programs",
  Booktitle = "Proc.\ AMS Symposium in Appl.\ Math.",
  Volume    = 19,
  Year      = 1967
}

@Article{TOPLAS:RM07,
  Author    = "X. Rival and L. Mauborgne",
  Title     = "The Trace Partitioning Abstract Domain",
  Journal   = toplas,
  Year      = 2007,
  Volume    = 29,
  Number    = 5
}

@InProceedings{PEPM:ML00,
  Author    = "B.R. Murphy and M.S. Lam",
  Title     = "Program Analysis with Partial Transfer Functions",
  Booktitle = pepm,
  Year      = 2000
}

@TechReport{UW-TR-900:RR89,
  Author      = "G. Ramalingam and T. Reps",
  Title       = "Semantics of Program Representation Graphs",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "{TR-900}",
  Month       = dec,
  Year        = 1989
}

@Article{HOSC:GM03,
  Author  = "R. Giacobazzi and I. Mastroeni",
  Title   = "Non-Standard Semantics for Program Slicing",
  Journal = hosc,
  Volume  = 16,
  Number  = 4,
  Year    = 2003,
  Pages   = "297--339"
}

@InProceedings{USS:STFW01,
  AUTHOR = "U. Shankar and K. Talwar and J. S. Foster and D. Wagner",
  TITLE = "Automated Detection of Format-String Vulnerabilities Using Type Qualifiers",
  BOOKTITLE = uss,
  YEAR = 2001
}

@Article{TOPLAS:FJKA06,
  Author  = "J.S. Foster and R. Johnson and J. Kodumal and A. Aiken",
  Title   = "Flow-Insensitive Type Qualifiers",
  Journal = toplas,
  Volume  = 28,
  Number  = 6,
  Year    = 2006
}

@InProceedings{NDSS:GLM08,
  Author    = "P. Godefroid and M.Y. Levin and D. Molnar",
  Title     = "Automated Whitebox Fuzz Testing",
  Booktitle = ndss,
  Year      = 2008
}

@InProceedings{TACAS:SKL06,
  Author    = "O. Sokolsky and S. Kannan and I. Lee",
  Title     = "Simulation-Based Graph Similarity",
  Booktitle = tacas,
  Year      = 2006
}

@InProceedings{SAS:KH01,
  Author    = "R. Komondoor and S. Horwitz",
  Title     = "Using Slicing to Identify Duplication in Source Code",
  Booktitle = sas,
  Year      = 2001
}

@Book{Book:Jackson06,
   author    = "D. Jackson",
   title     = "Software Abstractions: {L}ogic, Language, and Analysis",
   publisher = "The M.I.T. Press",
   year      = 2006
}

@Book{Book:BS03,
   author    = "E. Boerger and R. Staerk",
   title     = "Abstract State Machines: {A} Method for High-Level System Design and Analysis",
   publisher = "Springer",
   year      = 2003
}

@InProceedings{SAS:Schmidt06,
  author    = "D.A. Schmidt",
  title     = "Underapproximating Predicate Transformers",
  booktitle = sas,
  year      = 2006
}

@InProceedings{STOC:AM04,
  author    = "R. Alur and P. Madhusudan",
  title     = "Visibly Pushdown Languages",
  booktitle = stoc,
  year      = 2004
}

@TechReport{EENTCS:Schmidt00,
  Author      = "D.A. Schmidt",
  Title       = "Binary Relations for Abstraction and Refinement",
  Institution = "Elsevier Elec.\ Notes in Theor.\ Comp.\ Sci.",
  Type        = "Tech. Rep.",
  Number      = "2000-3",
  Month       = nov,
  Year        = 2000,
  Note        = "people.cis.ksu.edu/$\sim$schmidt/papers/relations.ps.gz"
}

@InProceedings{POPL:PW96,
  author    = "T.A. Proebsting and S.A. Watterson",
  title     = "Filter Fusion",
  booktitle = popl,
  year      = 1996
}

@Article{TCS:Wadler90,
  Author  = "P. Wadler",
  Title   = "Deforestation: Transforming Programs to Eliminate Trees",
  Journal = tcs,
  Volume  = 73,
  Year    = 1990,
  Pages   = "231--248"
}

@PhdThesis{Thesis:Malmkjaer93,
  Author  = "K. Malmkj{\ae}r",
  Title   = "Abstract Interpretation of Partial-Evaluation Algorithms",
  School  = "Dept.\ of Comp.\ and Inf.\ Sci., Kansas State Univ.",
  Address = "Manhattan, Kansas",
  Year    = 1993
}

@Book{Book:Schmidt86,
  Author    = "D.A. Schmidt",
  Title     = "Denotational Semantics",
  Publisher = "Allyn and Bacon, Inc.",
  Address   = "Boston, MA",
  Year      = 1986
}

@InProceedings{PADO:MJ85,
  author    = "A. Mycroft and N.D. Jones",
  title     = "A Relational Framework for Abstract Interpretation",
  booktitle = "Programs as Data Objects",
  year      = 1985
}

@InProceedings{POPL:MJ86,
  author    = "A. Mycroft and N.D. Jones",
  title     = "Data Flow Analysis of Applicative Programs Using Minimal Function Graphs",
  booktitle = popl,
  year      = 1986
}

@Article{TCS:Nielson89,
  Author  = "F. Nielson",
  Title   = "Two-Level Semantics and Abstract Interpretation",
  Journal = tcs,
  Volume  = 69,
  Year    = 1989,
  Pages   = "117--242"
}

@InCollection{TFPM:Morris82a,
  Author   = "J.M. Morris",
  Title    = "A General Axiom of Assignment",
  Crossref = {TFPM:BS82},
  Pages    = "25--34"
}

@InCollection{TFPM:Morris82b,
  Author   = "J.M. Morris",
  Title    = "Assignment and Linked Data Structures",
  Crossref = {TFPM:BS82},
  Pages    = "35--41"
}

@InCollection{TFPM:Morris82c,
  Author   = "J.M. Morris",
  Title    = "A Proof of the {S}chorr-{W}aite Algorithm",
  Crossref = {TFPM:BS82},
  Pages    = "43--51"
}

@InProceedings{FSE:XCE03,
  Author    = "Y. Xie and A. Chou and D.R. Engler",
  Title     = "{ARCHER}: {U}sing Symbolic, Path-Sensitive Analysis to Detect Memory Access Errors",
  Booktitle = fse,
  Year      = 2003,
  Pages     = "327--336"
}

@Article{TOPLAS:XA07,
  Author  = "Y. Xie and A. Aiken",
  Title   = "Saturn: {A} Scalable Framework for Error Detection Using {B}oolean Satisfiability",
  Journal = toplas,
  Volume  = 29,
  Number  = 3,
  Year    = 2007
}

@InProceedings{FSE:GHKNR06,
  Author    = "B.S. Gulavani and T.A. Henzinger and Y. Kannan and A.V. Nori and S.K. Rajamani",
  Title     = "{SYNERGY}: {A} New Algorithm for Property Checking",
  Booktitle = fse,
  Year      = 2006
}

@InProceedings{ISSTA:BNRS08,
  Author    = "N.E. Beckman and A.V. Nori and S.K. Rajamani and R.J. Simmons",
  Title     = "Proofs from Tests",
  Booktitle = issta,
  Year      = 2008
}

@InProceedings{PLILP:BW94,
  Author    = "L. Birkedal and M. Welinder",
  Title     = "Hand-Writing Program Generator Generators",
  Booktitle = plilp,
  Year      = 1994
}

@InProceedings{PLDI:LL96,
  Author    = "P. Lee and M. Leone",
  Title     = "Optimizing {ML} with Run-Time Code Generation",
  Booktitle = pldi,
  Year      = 1996
}

@TechReport{UW-TR-1640:LLR08,
  Author      = "J. Lim and A. Lal and T. Reps",
  Title       = "Symbolic Analysis via Semantic Reinterpretation",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "{TR-1640}",
  Month       = jul,
  Year        = 2008
}

@InProceedings{SPIN:LLR09,
  Author      = "J. Lim and A. Lal and T. Reps",
  Title       = "Symbolic Analysis via Semantic Reinterpretation",
  Booktitle   = spin,
  Year        = 2009
}

@InProceedings{PLDI:YHR99,
  Author    = "S.H. Yong and S. Horwitz and T.W. Reps",
  Title     = "Pointer Analysis for Programs with Structures and Casting",
  Booktitle = pldi,
  Year      = 1999
}

@InProceedings{ICFPC:Mosses81,
  Author    = "P.D. Mosses",
  Title     = "A Semantic Algebra for Binding Constructs",
  Booktitle = "Int.\ Colloq.\ on Formalization of Programming Concepts",
  Year      = 1981
}

@Article{SIGADALetters:Saidi08,
  Author    = "H. Sa{\"\i}di",
  Title     = "Logical Foundation for Static Analysis: {A}pplication to Binary Static Analysis for Security",
  Journal   = "ACM SIGAda Ada Letters",
  Volume    = 28,
  Number    = 1,
  Pages     = "96--102",
  Year      = 2008
}

@InProceedings{DAC:CFHM93,
  author    = "T.A. Cook and P.D. Franzon and E.A. Harcourt and T.K. Miller",
  title     = "System-Level Specification of Instruction Sets",
  booktitle = dac,
  year      = 1993
}

@InProceedings{PLDI:CSV07,
  author    = "H. Cai and Z. Shao and A. Vaynberg",
  title     = "Certified Self-Modifying Code",
  booktitle = pldi,
  year      = 2007
}

@InProceedings{CCCS:CGPDE06,
  author    = "C. Cadar and V. Ganesh and P.M. Pawlowski and D.L. Dill and D.R. Engler",
  title     = "{EXE}: {A}utomatically Generating Inputs of Death",
  booktitle = cccs,
  year      = 2006
}

@InProceedings{PEPM:Mogensen93,
  author    = "T. Mogensen",
  title     = "Constructor Specialization",
  booktitle = pepm,
  year      = 1993
}

@MISC{URL:Bitstring,
  Title = "{Bitstring} Project",
  Note  = {``code.google.com/p/bitstring/''},
  key   = "Bitstring"
}

@InProceedings{ICCL:CC94,
  author    = "P. Cousot and R. Cousot",
  title     = "Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and {PER} Analysis",
  booktitle = iccl,
  year      = 1994
}

@InProceedings{CCS:CPCWIB08,
  author    = "W. Cui and M. Peinado and K. Chen and H.J. Wang and L. Irun-Briz",
  title     = "Tupni: {A}utomatic Reverse Engineering of Input Formats",
  booktitle = cccs,
  year      = 2008
}

@InProceedings{TACAS:JM06,
  author    = "R.Jhala and K.L. McMillan",
  title     = "A Practical and Complete Approach to Predicate Refinement",
  booktitle = tacas,
  year      = 2006
}

@PhdThesis{Thesis:Loginov06,
  Author  = "A. Loginov",
  Title   = "Refinement-Based Program Verification via Three-Valued-Logic Analysis",
  Note    = "Tech.\ Rep.\ 1574",
  School  = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address = "Madison, WI",
  Month   = aug,
  Year    = 2006
}

@InCollection{CDH:RSW07,
  Author   = "T.\ Reps and M.\ Sagiv and R.\ Wilhelm",
  Title    = "Shape Analysis and Applications",
  Crossref = {CDH:SP07},
  Chapter  = 12
}

@INPROCEEDINGS{CAV:SV06,
  AUTHOR    = "K. Sen and M. Viswanathan",
  TITLE     = "Model Checking Multithreaded Programs with Asynchronous Atomic Methods",
  BOOKTITLE = cav,
  YEAR      = 2006
}

@INPROCEEDINGS{POPL:JM07,
  AUTHOR    = "R. Jhala and R. Majumdar",
  TITLE     = "Interprocedural Analysis of Asynchronous Programs",
  BOOKTITLE = popl,
  YEAR      = 2007
}

@INPROCEEDINGS{PLDI:GLvBWBC03,
  AUTHOR    = "D. Gay and P. Levis and R. von Behren and M. Welsh and E. Brewer and D. Culler",
  TITLE     = "The {nesC} Language: {A} Holistic Approach to Networked Embedded Systems",
  BOOKTITLE = pldi,
  YEAR      = 2003
}

@INPROCEEDINGS{PLDI:KABJV07,
  AUTHOR    = "C. Killian and J.W. Anderson and R. Braud and R. Jhala and A. Vahdat",
  TITLE     = "Mace: {L}anguage Support for Building Distributed Systems",
  BOOKTITLE = pldi,
  YEAR      = 2007
}

@Book{Book:Harrison78,
  Author    = "M. Harrison",
  Title     = "Introduction to Formal Language Theory",
  Publisher = "Addison-Wesley",
  Address   = "Reading, MA",
  Year      = 1978
}

@InProceedings{CAV:LR08,
  Author    = "A. Lal and T. Reps",
  Title     = "Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis",
  Booktitle = cav,
  Year      = 2009
}

@misc{B2:JM09,
  author = "R. Jhala and R. Majumdar",
  title  = "B2: {S}oftware Model Checking for {C}",
  year   = 2009,
  note   = "www.cs.ucla.edu/$\sim$rupak/b2/",
  key    = "B2"
}

@TechReport{UW-TR-1659:LLR09,
  Author      = "A. Lal and J. Lim and T. Reps",
  Title       = "{McDash}: {R}efinement-based property verification for machine code",
  Institution = "Comp. Sci. Dept., Univ. of Wisconsin",
  Address     = "Madison, WI",
  Type        = "{TR-1649}",
  Month       = june,
  Year        = 2009
}

@Unpublished{UNPUB:Hamming86,
  Author = "R. Hamming",
  Title  = "You and Your Research",
  Year   = 1986,
  Note   = "Transcription of a Bell Comm.\ Res.\ Collquium (3/7/86). Available at www.cs.virginia.edu/~robins/YouAndYourResearch.pdf"
}

@InProceedings{SAS:HHP09,
  Author    = "M. Heizmann and J. Hoenicke and A. Podelski",
  Title     = "Refinement of Trace Abstraction",
  Booktitle = sas,
  Year      = 2009
}

@Article{TSE:SR99,
  Author  = "M.D. Ernst and J. Cockrell and W.G. Griswold and D. Notkin",
  Title   = "Dynamically Discovering Likely Program Invariants to Support Program Evolution",
  Journal = tse,
  Volume  = 27,
  Number  = 2,
  Year    = 2001
}

@InProceedings{NASAFMS:CI09,
  Author    = "S. Chaki and J. Ivers",
  Title     = "Software Model Checking Without Source Code",
  Booktitle = nasafms,
  Year      = 2009
}

@Misc{PersonalComm:YogiBinaryCapabilities,
  author = "A. Nori",
  title = "Personal Communication",
  month = jan,
  year = 2009
}

@PhdThesis{Thesis:Schlich08,
  Author  = "B. Schlich",
  Title   = "Model Checking of Software for Microcontrollers",
  School  = "RWTH Aachen University",
  Address = "Germany",
  Year    = 2008
}

@Article{TOCL:YRSW07,
  Author  = "G. Yorsh and T. Reps and M. Sagiv and R. Wilhelm",
  Title   = "Logical Characterizations of Heap Abstractions",
  Journal = tocl,
  Year    = 2007,
  Volume  = 8,
  Number  = 1
}

@Article{TOPLAS:JLRS,
  Author  = "B. Jeannet and A. Loginov and T. Reps and M. Sagiv",
  Title   = "A Relational Approach to Interprocedural Shape Analysis",
  Journal = toplas,
  Note    = "(To appear.)"
}

@Article{NATURE:Michie68,
  Author  = "D. Michie",
  Title   = "Memo Functions and Machine Learning",
  Journal = "Nature",
  Year    = 1968,
  Volume  = 218,
  Pages   = "19--22"
}

@inproceedings{FSTTCS:Granger92,
  author    = "P. Granger",
  title     = "Improving the Results of Static Analyses Programs by Local Decreasing Iteration",
  booktitle = fsttcs,
  year      = 1992
}

@Misc{AlurNwaStarBroken,
   author= "R. Alur",
   howpublished="Personal Communication",
   year=2011,
   Month=aug}


%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Targets of cross-references -- must go last
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Book{Book:MJ81,
  Editor    = "S.S. Muchnick and N.D. Jones",
  Title     = "Program Flow Analysis: {T}heory and Applications",
  BookTitle = "Program Flow Analysis: {T}heory and Applications",
  Publisher = prentice,
  Address   = "Englewood Cliffs, NJ",
  Year      = 1981
}

@Book{TFPM:BS82,
  Editor    = "M. Broy and G. Schmidt",
  Title     = "Theor.\ Found.\ of Program.\ Methodology, Proc.\ of the 1981 Marktoberdorf Summer School",
  Booktitle = "Theor.\ Found.\ of Program.\ Methodology, Proc.\ of the 1981 Marktoberdorf Summer School",
  Volume    = "91",
  Series    = "NATO Adv.\ Study Insts. Ser.\ C, Math.\ and Phys.\ Sci.",
  Publisher = "Reidel",
  Year      = 1982
}

@Book{CDH:SP07,
  Editor    = "Y.N.\ Srikant and P.\ Shankar",
  Title     = "The Compiler Design Handbook: Optimizations and Machine Code Generation",
  BookTitle = "The Compiler Design Handbook: Optimizations and Machine Code Generation",
  Edition   = "2nd.",
  Publisher = crc,
  Year      = 2007
}
